Document CI variable and remove unused template.
authorM. Eric Irrgang <ericirrgang@gmail.com>
Tue, 17 Mar 2020 14:33:38 +0000 (17:33 +0300)
committerEric Irrgang <ericirrgang@gmail.com>
Wed, 18 Mar 2020 17:27:17 +0000 (18:27 +0100)
commit8cef73c4debdbc00e429535ec72d49d6c0babdac
tree809e3cd8a910de103e393a6f1d83d8d57a7524e3
parentff4fcb635513d2e5d6397109482377a0601b8a62
Document CI variable and remove unused template.

Change-Id: I03a3790fa962b508afc797728a94ebaccfb2509b
admin/ci-templates/.build-mpi-template.yml [deleted file]
admin/ci-templates/.include-template.yml
docs/dev-manual/gitlab.rst