summaryrefslogtreecommitdiff
path: root/paper/Makefile
diff options
context:
space:
mode:
authorjaseg <git@jaseg.de>2021-04-08 14:16:49 +0200
committerjaseg <git@jaseg.de>2021-04-15 23:32:03 +0200
commit26bd717aa8b07402f82ba9714eab0616380ff44e (patch)
tree08f364d7f615f9e9e4e09d6865dbe21638be0be0 /paper/Makefile
parentbeac9fa44104806625abf055f8b651f019274504 (diff)
downloadihsm-26bd717aa8b07402f82ba9714eab0616380ff44e.tar.gz
ihsm-26bd717aa8b07402f82ba9714eab0616380ff44e.tar.bz2
ihsm-26bd717aa8b07402f82ba9714eab0616380ff44e.zip
Update Gitlab CI config
Diffstat (limited to 'paper/Makefile')
0 files changed, 0 insertions, 0 deletions