https://gitlab.com/makhlaghi/maneage-paper.git
Tip revision: 2627eb2374ee064bb4074f31a3da0b4486f7af8a authored by Boud Roukema on 23 May 2020, 22:19:17 UTC
Many small changes to Section IV - proof of concept: maneage
Many small changes to Section IV - proof of concept: maneage
Tip revision: 2627eb2
.gitattributes
paper.tex merge=ours
tex/src/delete-me.mk merge=ours
tex/src/delete-me-demo.mk merge=ours
reproduce/analysis/make/delete-me.mk merge=ours
reproduce/software/config/TARGETS.conf merge=ours
reproduce/analysis/config/delete-me-num.conf merge=ours