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
..
check-git-clang-format-output.sh	Adding object table (#1)	2016-09-13 18:54:26 -07:00
git-clang-format	Adding object table (#1)	2016-09-13 18:54:26 -07:00