summaryrefslogtreecommitdiffstats
path: root/site/index.org
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-09-23 20:07:43 +0200
committerThomas Letan <lthms@soap.coffee>2020-09-23 20:07:43 +0200
commite62611f5581a91b5e10414bfb3777f8ce1aa288b (patch)
tree1d218249b4b63cb2d22e2f1956a8fd2c33e4fb9c /site/index.org
parentAdd a permalink to my Coq posts (diff)
Small CSS tweaks
Diffstat (limited to 'site/index.org')
0 files changed, 0 insertions, 0 deletions