diff options
| author | Jakob Unterwurzacher | 2016-04-28 08:41:39 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2016-04-28 08:41:39 +0200 |
| commit | bb16f2d565674153bd7c3781e23048586c73e0a8 (patch) | |
| tree | db1ea10720e816eddaf186691e3bf749b33c4f41 /Documentation/.gitignore | |
| parent | 4d79fba2853b7d0b5f4cafc4aab55b1c448282e3 (diff) | |
build.bash: replace "git -C"
"-C" is not supported on older git versions. Instead, just cd into
the directory.
See issue #20.
Diffstat (limited to 'Documentation/.gitignore')
0 files changed, 0 insertions, 0 deletions