|
.spacemacs
|
add separate .spacemacs file for deploy
|
2017-09-02 13:40:33 +03:00 |
|
pub_html.sh
|
TravisCI build docs/site from HEAD
|
2019-01-22 22:37:41 +02:00 |
|
pub_org.sh
|
Use patches to fix docs
|
2019-12-05 13:32:49 +02:00 |
|
pub_prep.sh
|
[CI] Do not exit prematurely.
|
2019-12-05 13:56:08 +02:00 |
