This repository has been archived on 2019-11-02. You can view files and clone it, but cannot push or open issues or pull requests.

Phuntsok Drak-pa ef5131928c removed debug tree		2019-07-16 19:33:52 +02:00
.gitignore	better function, with less noisy trees	2019-07-16 19:33:09 +02:00
phonetics-feature-tree.scm	removed debug tree	2019-07-16 19:33:52 +02:00