Contains all the content hosted on https://ktane.timwi.de, including all manuals and their fonts and graphics files, the Logfile Analyzer, the Highlighter, the Profile Editor, the Mode Settings Editor. The server-side code is at https://github.com/Timwi/KtaneWeb.
@red031000 This was not properly checked. This should take at least an hour to check thoroughly. See #1495 #1487 #1485 and others. And there are in fact things that need fixing.
@red031000 This was not properly checked. This should take at least an hour to check thoroughly. See #1495 #1487 #1485 and others. And there are in fact things that need fixing.