JAremko 63d90cd516 Fix travis script.		2018-05-20 02:38:09 +03:00
..
.spacemacs
pub.sh	Use new spacedoc tools in Travis CI.	2018-05-20 02:16:04 +03:00
pub_prep.sh	Fix travis script.	2018-05-20 02:38:09 +03:00
test.sh	Use new spacedoc tools in Travis CI.	2018-05-20 02:16:04 +03:00