Library loading
Closed this issue · 2 comments
Chalarangelo commented
Library loading should be done using an external file (probably libraries.xml) instead of being dealt with inside the code, in a hard-coded manner.
Chalarangelo commented
The libraries file is now stored under ./res/lib.xml. The corresponding code that loads it and updates the page will be added soon.
Chalarangelo commented
f07515f: Libraries are now loaded from the XML file.