3 Commits (0e718b069960d3d3003a3afeadfad59c24fb5f23)

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
Marco Trevisan (Treviño) b484f2ae22 test cases: add missing files to installed_files.txt 6 years ago