Reinder Feenstra 8c8d8b8fd7 renamed doc folder to manual

2020-10-19 23:49:40 +02:00

..

bootstrap.min.js

renamed doc folder to manual

2020-10-19 23:49:40 +02:00

jquery-3.4.1.slim.min.js

renamed doc folder to manual

2020-10-19 23:49:40 +02:00

popper.min.js

renamed doc folder to manual

2020-10-19 23:49:40 +02:00