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 /.gitignore | |
| 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 '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index b38337d15..225591e88 100644 --- a/.gitignore +++ b/.gitignore @@ -83,6 +83,7 @@ packaging/windows/upx/* mana.creator.user* run/* +logs/* my/* win/* build/logs |