johannes.duenser 194074e0cc merged with upstream branch. ... Merge remote-tracking branch 'upstream/master'		2017-02-27 14:21:24 +01:00
..
src	merged with upstream branch.	2017-02-27 14:21:24 +01:00
.gitignore	Add Eclipse files to git	2016-02-28 14:02:29 -05:00
TODO.txt	More validator work	2014-08-28 07:53:41 -04:00
build.xml	Lots of bugfixes, and narrative generator is started	2014-03-24 08:32:28 -04:00
pom.xml	dependencies convergence	2017-01-29 19:22:28 +01:00