mirror of
https://github.com/subsurface/subsurface.git
synced 2025-02-19 22:16:15 +00:00
A git pull seems to cause things to go wrong. Just fetching the repository and checking out the version that we want seems to work better. Signed-off-by: Dirk Hohndel <dirk@hohndel.org> |
||
|---|---|---|
| .. | ||
| build.sh | ||
| check-version | ||
| get-version | ||
| parse-descriptor.pl | ||
| whitespace.pl | ||
| win-ldd.pl | ||
| write-version | ||