diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-03-21 16:48:51 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-03-21 16:48:51 +0100 |
| commit | 9329e9883a52eb95c0803a46560c396d149ef2c6 (patch) | |
| tree | ffe839596b7ffc7f2f9f961a35c6cee01be053ed /site/cleopatra/Contents/Coq.org | |
| parent | This is a personal, not a professional blog (diff) | |
Enjoy soupault’s plugin autodiscovery feature
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
0 files changed, 0 insertions, 0 deletions