diff options
| author | David Luevano Alvarado <david@luevano.xyz> | 2022-04-27 00:45:26 -0600 |
|---|---|---|
| committer | David Luevano Alvarado <david@luevano.xyz> | 2022-04-27 00:45:26 -0600 |
| commit | b262292b43e57c7b3534ad8b252a828b53ff49e1 (patch) | |
| tree | 3e315ab41ec53465eceb8142a513067775221bd1 /static/hl/languages/coq.min.js | |
| parent | 9eee2f99e96320ed15e3f198bdaa86eb1422bbdb (diff) | |
change to reflect pyssg changes
Diffstat (limited to 'static/hl/languages/coq.min.js')
0 files changed, 0 insertions, 0 deletions