chiark / gitweb /
pwx: Use latest check_tree.pl revision.
authorSven Eden <yamakuzure@gmx.net>
Fri, 10 Aug 2018 05:57:45 +0000 (07:57 +0200)
committerSven Eden <yamakuzure@gmx.net>
Fri, 24 Aug 2018 14:47:08 +0000 (16:47 +0200)
pwx

diff --git a/pwx b/pwx
index 7f0c3b238926520de7fa145055e5d4f8808442ad..231f11b726b6fb67293c6fb99bb4f7606667a257 160000 (submodule)
--- a/pwx
+++ b/pwx
@@ -1 +1 @@
-Subproject commit 7f0c3b238926520de7fa145055e5d4f8808442ad
+Subproject commit 231f11b726b6fb67293c6fb99bb4f7606667a257