https://gitlab.com/makhlaghi/maneage-paper.git
Tip revision: 3db3859a2d5615ad9d2e2fb7361bd3cc569475a9 authored by Boud Roukema on 31 May 2020, 15:52:34 UTC
Mostly minor edits of nearly final version
Mostly minor edits of nearly final version
Tip revision: 3db3859
.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