aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorstuebinm2026-07-26 23:14:53 +0200
committerstuebinm2026-07-26 23:14:53 +0200
commit51ac2f45a806496e384a2a58b8a8604afb687759 (patch)
tree3bb8638cc3cd5e17c9b36a59cf63f2dd57bfd357 /.gitignore
parent2a9d4fcf48b872aef1343f71dfddf44946fd8eb5 (diff)
build script: remove removed optionHEADmain
(makes the build fail now)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions