5 Commits (90e43dbdfe06d062939803ec4ee261315096aee7)

Author SHA1 Message Date
Jussi Pakkanen beae10f588 Update hotdoc files to match those produced by newest version. 6 years ago
Jussi Pakkanen f881532559 Updated Linux CI image to cosmic. 6 years ago
Thibault Saunier 301df38816 hotdoc: Fix has_extensions when several extensions are passed in 6 years ago
Marco Trevisan (Treviño) b484f2ae22 test cases: add missing files to installed_files.txt 6 years ago
Thibault Saunier 378bd4df0e modules: Add an 'hotdoc' module 6 years ago