summaryrefslogtreecommitdiff
path: root/deepthought.pub
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2020-01-14 22:52:42 +0100
committerErich Eckner <git@eckner.net>2020-01-14 22:52:42 +0100
commitc4bd8c42eeb6b8a79446ab3b629d56f672368ac8 (patch)
tree3eb79662d9dc8fce76cffa76a80aa1e03b454279 /deepthought.pub
parent763b17a2cb0b46abd547356f4221280c7983d259 (diff)
downloadcrux-ports-c4bd8c42eeb6b8a79446ab3b629d56f672368ac8.tar.xz
lastVersion.sh: ignore "svn" as version
Diffstat (limited to 'deepthought.pub')
0 files changed, 0 insertions, 0 deletions