git://git.onelab.eu / build.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d38f42d) | patch
ignore errors of git fetch --tag as this fails on a case-insensitive filesystem like...
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 30 Apr 2022 17:12:30 +0000 (19:12 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 30 Apr 2022 17:33:36 +0000 (19:33 +0200)
commit6f5a23ccd2eb12b26397d46f2bf60e3ca2c62ef9
tree370ed4f9e3af05f7e703afc1b6cf2f374b1c7358tree | snapshot
parentd38f42d3a95fe7f21775d8219c9b4dac6ea2750ecommit | diff
ignore errors of git fetch --tag as this fails on a case-insensitive filesystem like my macos fs (thanks to our IT guys)
module-tools.py diff | blob | history
build