Alexander Nozik 1072f56815 Fixes in context builder and GUI		2018-05-09 17:05:45 +03:00
..
src	Fixes in context builder and GUI	2018-05-09 17:05:45 +03:00
build.gradle	Fixing history output to the console (not working for now).	2018-02-12 16:38:31 +03:00