https://gitlab.com/makhlaghi/maneage-paper.git
Raw File
Tip revision: 54e4eb2626c5fb3afd36324af8a34d3255944ea2 authored by Mohammad Akhlaghi on 09 May 2022, 22:25:46 UTC
Updated SoftwareHeritage IDs (SWHIDs) to previous commit
Tip revision: 54e4eb2
.gitattributes
paper.tex merge=ours
tex/src/*.tex merge=ours
reproduce/analysis/config/*.conf  merge=ours
reproduce/software/config/TARGETS.conf merge=ours
reproduce/software/config/texlive-packages.conf merge=ours
back to top