diff --git a/ocat b/ocat index 6b6d31c7..0f61f8f2 100755 Binary files a/ocat and b/ocat differ diff --git a/showdef.REMOVED.git-id b/showdef.REMOVED.git-id index 56555034..4d8f93d1 100644 --- a/showdef.REMOVED.git-id +++ b/showdef.REMOVED.git-id @@ -1 +1 @@ -4b5f8d5146f1388de2e19f19c67740b501de8193 \ No newline at end of file +001ab0162d79fe0a1e444b48e300d4cfdf96658d \ No newline at end of file diff --git a/voc.REMOVED.git-id b/voc.REMOVED.git-id index 21866516..d862c121 100644 --- a/voc.REMOVED.git-id +++ b/voc.REMOVED.git-id @@ -1 +1 @@ -5e257c57f264f3105f3a24104e7d57fc95d703f6 \ No newline at end of file +68718a7b26e6a64dad48ce14a87e504fb3090495 \ No newline at end of file diff --git a/vocstatic.linux.clang.powerpc.REMOVED.git-id b/vocstatic.linux.clang.powerpc.REMOVED.git-id index 3428c599..d862c121 100644 --- a/vocstatic.linux.clang.powerpc.REMOVED.git-id +++ b/vocstatic.linux.clang.powerpc.REMOVED.git-id @@ -1 +1 @@ -bf2f9505d7b7ae83b6b2e227becbfd2505d1ae85 \ No newline at end of file +68718a7b26e6a64dad48ce14a87e504fb3090495 \ No newline at end of file