Phuntsok Drak-pa a14d538aa2 better settings for tangling the code blocks		2019-10-21 12:15:56 +02:00
..
bootstrap	better settings for tangling the code blocks	2019-10-21 12:15:56 +02:00
encrypt	added encrypted file	2019-10-21 01:26:53 +02:00
files.gpg	added encrypted file	2019-10-21 01:26:53 +02:00