diff options
| author | Brad Pitcher <bradpitcher@gmail.com> | 2012-01-25 21:06:27 (GMT) |
|---|---|---|
| committer | Brad Pitcher <bradpitcher@gmail.com> | 2012-01-25 21:06:27 (GMT) |
| commit | 1b5dbe0dda0d98baea21747f0b2bfa08ee38b499 (patch) | |
| tree | 983480b14328e59d2816f6f41b3b822282c4536b /src/csgtermnormalizer.cc | |
| parent | 81f543d4969c99346efbde6f89504a6f4eea6051 (diff) | |
check that the .git directory exists
Diffstat (limited to 'src/csgtermnormalizer.cc')
0 files changed, 0 insertions, 0 deletions