Hugo Locurcio a5ef5e4c0d Add missing dependency in `developers.md` Linux instructions (#89) ... This closes #88.		2020-05-01 18:50:53 +02:00
..
developers.md	Add missing dependency in `developers.md` Linux instructions (#89)	2020-05-01 18:50:53 +02:00
fileformat.md	Delete typo	2014-07-22 17:52:23 +01:00
make_install.md	Update documentation	2014-07-26 20:04:57 +01:00
projectfileformat.txt	Update documentation	2014-07-26 20:04:57 +01:00