https://gitlab.com/nomadic-labs/mi-cho-coq
Revision 443304c5becda3a675f5d791a552e19345f6514d authored by Basile Pesin on 29 May 2019, 09:05:34 UTC, committed by Basile Pesin on 31 May 2019, 15:44:46 UTC
1 parent 721313e
History
Tip revision: 443304c5becda3a675f5d791a552e19345f6514d authored by Basile Pesin on 29 May 2019, 09:05:34 UTC
Updated michocott README
Tip revision: 443304c
File Mode Size
org-lint-README.el -rw-r--r-- 1.1 KB
org-lint-dummy.el -rw-r--r-- 509 bytes

back to top