diff options
author | jak1 <mike.wollmann@gmail.com> | 2021-05-22 11:47:44 +0000 |
---|---|---|
committer | jak1 <mike.wollmann@gmail.com> | 2021-05-22 11:47:44 +0000 |
commit | 445a5274e699198249891df5c8ab092e3c2d107d (patch) | |
tree | 8a75d0875059ea376bfa10bf62a2b4dffc8dab08 /data/themes/jewelry-simple | |
parent | d0eb866bcf526a2a775e8c14d3c397ae232d9974 (diff) | |
download | plus-445a5274e699198249891df5c8ab092e3c2d107d.tar.gz plus-445a5274e699198249891df5c8ab092e3c2d107d.tar.bz2 plus-445a5274e699198249891df5c8ab092e3c2d107d.tar.xz plus-445a5274e699198249891df5c8ab092e3c2d107d.zip |
[ci] added pages stage
added doxygen to pages stage
added gcov_gcc6 to pages stage
changed ci init script to use public dir.
Diffstat (limited to 'data/themes/jewelry-simple')
0 files changed, 0 insertions, 0 deletions