diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-01-16 14:19:01 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-01-16 14:19:01 +0100 |
commit | 5e5786a1a379ee4bca7bc1aebb4ddb259dd927d5 (patch) | |
tree | f7ffa5acbff165647afdf55d68a72bdbee8ff45f /.gitignore | |
parent | Use sans-serif font (diff) |
Stacked Git is cool
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -44,6 +44,7 @@ site/meta.html site/miscellaneous.html site/news/ColorlessThemes-0.2.html site/opinions/MonadTransformers.html +site/opinions/StackedGit.html site/opinions/index.html site/posts/.AlgebraicDatatypes.aux site/posts/.ClightIntroduction.aux |