diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-21 23:25:14 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-21 23:25:14 +0100 |
| commit | e792118e1e8e5213dff01f80240a98c14a55344f (patch) | |
| tree | 4b257088f829376c1c079655eb59d4ad31aa814d /.gitignore | |
| parent | Adopt a literate programming for `main.sass' (diff) | |
Various improvement in cleopatra
- Fix the dependencies in the Makefile
- Use a minimal emacs configuration with themes
- Dark theme again
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -30,13 +30,13 @@ site/posts/Ltac101.html site/style/main.css scripts/tangle-org.el bootstrap.mk -scripts/export-org.el org.mk +scripts/export-org.el coq.mk sass.mk +templates/main.html soupault.conf -site/style/org.sass -site/style/coq.sass +emacs.d/ site/style/main.sass site/style/org.sass site/style/coq.sass |