summaryrefslogtreecommitdiffstats
path: root/site/posts/MixingLtacAndGallina.v
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2020-07-21 09:11:33 +0200
committerThomas Letan <lthms@soap.coffee>2020-07-21 09:11:33 +0200
commit9e4f619454e421ae008b0639afd9ddb5f7b8ce16 (patch)
tree85f4df78ae3f485e4413eb3b60f539597edf2cf7 /site/posts/MixingLtacAndGallina.v
parent41d1aac178a9f564e5bc4a69cda3735cbe81df7a (diff)
Remove half-deleted sentence
Diffstat (limited to 'site/posts/MixingLtacAndGallina.v')
0 files changed, 0 insertions, 0 deletions