summaryrefslogtreecommitdiff
path: root/web.py
AgeCommit message (Expand)Author
2023-06-03Remove useless logsKeuin
2023-06-03Use non-blocking file/subprocess IOKeuin
2023-06-02Cache HTML source on diskKeuin
2023-06-01texgen (WIP)Keuin
2023-06-01implement tex resource APIKeuin
2023-05-31WIP: web APIKeuin