Commit ebd8dc8

authored

Merge pull request #1035 from dseevr/delete_unnecessary_objdb_stuff

objdb: remove now-unused Makefile and Vagrantfile

2 parents c9a81dc + b28b225 commit ebd8dc8Copy full SHA for ebd8dc8

2 files changed

+0

-131

lines changed

objdb
- Makefile
- Vagrantfile

2 files changed

+0

-131

lines changed

`‎objdb/Makefile`

-34

This file was deleted.

`‎objdb/Vagrantfile`

-97

This file was deleted.

Comments

(0)