summaryrefslogtreecommitdiff
path: root/Documentation/.gitignore
diff options
context:
space:
mode:
authorJakob Unterwurzacher2020-04-13 12:35:40 +0200
committerJakob Unterwurzacher2020-04-13 14:54:04 +0200
commita2ad14b9ac92384f7cc0e8a0d8f385a9cd9a299a (patch)
tree73990c317928b9684ee6f6be6fb1aacec3e8f960 /Documentation/.gitignore
parent210db84e200671d6eee195f47eaf5c696cca089e (diff)
build.bash: append branch name != master
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions