3 Commits

Include renames

Author	SHA1	Message	Date
Phuntsok Drak-pa	8ea18c00cc	updated gitignore for new executable filename	2019-07-24 20:51:10 +02:00
Phuntsok Drak-pa	2a5a085f9d	better function, with less noisy trees	2019-07-16 19:33:09 +02:00
Phuntsok Drak-pa	7d4e3908c2	initial commit	2019-06-27 12:05:54 +01:00