summaryrefslogtreecommitdiff
path: root/debian/patches/0005-mk_reproducible_results.patch
AgeCommit message (Expand)Author
2015-03-03Replace fixed path with a POSIX-compliant shell function to check the existen...Jörg Frings-Fürst