Phuntsok Drak-pa 5b4d449534 added needed package for python development		2019-10-18 21:52:46 +02:00
..
bootstrap	added needed package for python development	2019-10-18 21:52:46 +02:00
encrypt	added gitconfig to encrypted files, updated README	2019-10-13 12:02:53 +02:00
files.gpg	added Marpa config to ssh hosts	2019-10-15 01:20:02 +02:00