mirror of
https://github.com/subsurface/subsurface.git
synced 2024-11-29 05:30:41 +00:00
84c8213e14
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 |