diff options
| author | David Luevano Alvarado <david@luevano.xyz> | 2021-06-08 23:25:06 -0600 |
|---|---|---|
| committer | David Luevano Alvarado <david@luevano.xyz> | 2021-06-08 23:25:06 -0600 |
| commit | f39af47eb03343dadf2c646dc43c8b8e131e427a (patch) | |
| tree | 8777b3255f29a597f5ac30f3aa703a3afe7b6bc8 /static/hl/languages/mizar.min.js | |
| parent | 5415f37e8da7615b524173f2bb6968be46128d20 (diff) | |
add xmpp server entry
Diffstat (limited to 'static/hl/languages/mizar.min.js')
0 files changed, 0 insertions, 0 deletions