diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-02-27 17:32:51 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-02-27 17:32:51 +0100 |
| commit | fbbc60336d671e49e77f3c19a28babf9e7edbe0a (patch) | |
| tree | c7b5f64400eff229607aef5fadf951f5c3fc6a4b /site/cleopatra/Contents/Coq.org | |
| parent | Theme reloading (diff) | |
Tweak the theme to be more responsive
Diffstat (limited to 'site/cleopatra/Contents/Coq.org')
0 files changed, 0 insertions, 0 deletions