diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-07-21 09:11:33 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-07-21 09:11:33 +0200 |
commit | 9e4f619454e421ae008b0639afd9ddb5f7b8ce16 (patch) | |
tree | 85f4df78ae3f485e4413eb3b60f539597edf2cf7 /site/posts/MixingLtacAndGallina.v | |
parent | Remove outdated TODO note (diff) |
Remove half-deleted sentence
Diffstat (limited to 'site/posts/MixingLtacAndGallina.v')
0 files changed, 0 insertions, 0 deletions