Philipp Moritz 7d629d4e48 Adding object table (#1) ...

* code for maintaining the object table

* Makefile fix

* Clone git submodules.

* directory -> object_table

* Fix Makefile and remove unnecessary files.

* Fix formatting.

* make code more generic

2016-09-13 18:54:26 -07:00

0 lines

Text

Raw Blame History