Pinned Loading

1. gloubidoc gloubidoc Public

   First used to display properly se3 documentation

   PHP

2. xia xia Public

   xia is a small tool to convert svg files into html5 ressources

   JavaScript 40 7

3. minionmenu minionmenu Public

   stupid jquery plugin to generate a small accordion menu...try to kill the minion

   JavaScript

4. pfautrero.github.io pfautrero.github.io Public

   JavaScript

5. simplepage simplepage Public

   course format for moodle 2.x

   PHP