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 /Android.mk | |
parent | d0eb866bcf526a2a775e8c14d3c397ae232d9974 (diff) | |
download | mv-445a5274e699198249891df5c8ab092e3c2d107d.tar.gz mv-445a5274e699198249891df5c8ab092e3c2d107d.tar.bz2 mv-445a5274e699198249891df5c8ab092e3c2d107d.tar.xz mv-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 'Android.mk')
0 files changed, 0 insertions, 0 deletions