git://git.onelab.eu / build.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 117b772) | patch
turn off outdated patch for much older times
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Dec 2019 14:31:17 +0000 (15:31 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 3 Dec 2019 14:31:17 +0000 (15:31 +0100)
commitc8f6b35b7bfcfc3d8d4004a84194f12eccc603d2
treecd46d169dabf2fbe0cc0ad5aa3448b88b5764257tree | snapshot
parent117b77276b8fad37a1b2e12586cc841c2ba3684bcommit | diff
turn off outdated patch for much older times
build.common diff | blob | history
build