merged dev + generated documentation
Merge branch 'dev' into gh-pages
Merge commit '0045be8896331733b2df6392cbbfc16cb104786f' into gh-pages
generated documentation
generated documentation
merged dev
generated documentation
initial symbol-table, pretty empty
merged dev
Merge commit '456b7f4fb3e32151585e40f7dd11eb34995d86f4' into symbol-table
#13. Contains compilation errors.
Merge branch 'dev' into symbol-table
Closed #13. Needs testing.
Updated Makefile to include third level src directories
Made Scope::oldSize unsigned int
Merge branch 'dev' of https://github.com/djrieger/mjplusplus into dev