MkDocs configuration and content for info/
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

463 B


Old documentation server.

Basic Info

It runs Mediawiki, probably a super outdated version. Crashes all the time, just need a reboot here and there.


This is the fourth incarnation of "web" servers (this is called web4) which have hosted the COSI documentation. The database goes back as far as 2007 and is quite a mess. Many proposals have been made to convert it to Git, and perhaps this time it will actually happen.