diff options
| author | Thomas Letan <lthms@soap.coffee> | 2023-04-27 13:34:23 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2023-04-27 16:15:37 +0200 |
| commit | 7db09a31f8535385b6d781d7d4eb723cd49b7ffa (patch) | |
| tree | 080a3e80101fd4ce7868b9024c25ab5069c6eb0b /.gitignore | |
| parent | Bump dune (diff) | |
Spatial Shell Call for Testers
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -15,6 +15,7 @@ _opam logs/coqffi-tutorial.stderr logs/site--index.html.stderr logs/site--news--August2022.html.stderr +logs/site--news--CFTSpatialShell.html.stderr logs/site--news--ColorlessThemes-0.2.html.stderr logs/site--news--MonthlyRetrospectives.html.stderr logs/site--news--November2022.html.stderr @@ -53,6 +54,7 @@ logs/tangling-lp.stderr logs/coqffi-tutorial.stdout logs/site--index.html.stdout logs/site--news--August2022.html.stdout +logs/site--news--CFTSpatialShell.html.stdout logs/site--news--ColorlessThemes-0.2.html.stdout logs/site--news--MonthlyRetrospectives.html.stdout logs/site--news--November2022.html.stdout @@ -96,6 +98,7 @@ rss.json site/files/coqffi-tutorial.tar.gz site/index.html site/news/August2022.html +site/news/CFTSpatialShell.html site/news/ColorlessThemes-0.2.html site/news/MonthlyRetrospectives.html site/news/November2022.html |