Thijs Wiefferink 6493bc4f78 Add empty lines if a page does not fill the screen ... Relevant for commands like `/as info all` that can have pages		2016-08-01 21:28:11 +02:00
..
src/main	Add empty lines if a page does not fill the screen	2016-08-01 21:28:11 +02:00
.gitignore	Change to a Maven project	2015-04-28 18:53:42 +02:00
pom.xml	Update languages, set version number to 2.3.1	2016-08-01 19:36:50 +02:00