summaryrefslogtreecommitdiff
path: root/pyssg.xyz/live/static/hl/languages/mizar.min.js
diff options
context:
space:
mode:
authorDavid Luevano Alvarado <david@luevano.xyz>2022-12-08 03:18:31 -0600
committerDavid Luevano Alvarado <david@luevano.xyz>2022-12-08 03:18:31 -0600
commit35ff363e779149b6364901a53dd1eefe89ca5ddb (patch)
tree579302f30c3796d7c32885c63f2e0e8de5813cb4 /pyssg.xyz/live/static/hl/languages/mizar.min.js
parent40d23848d816816b3db3e7296e8a28f964b53786 (diff)
refactor code, small bug fixing and changes
Diffstat (limited to 'pyssg.xyz/live/static/hl/languages/mizar.min.js')
0 files changed, 0 insertions, 0 deletions