MercierC 824deb7e21 new command: obi rm: deletes any view (for now the user deleting a view ...

accepts that there will be missing information when running obi history
if other views came from the deleted view)

2021-03-18 09:17:06 +13:00

..

obitools3

new command: obi rm: deletes any view (for now the user deleting a view

2021-03-18 09:17:06 +13:00

.gitignore

cleaning stage 2

2019-03-29 16:46:17 +01:00