Browse Source

Updated civic to version with --instrs

Taddeus Kroes 11 years ago
parent
commit
5c21743c30
1 changed files with 1 additions and 1 deletions
  1. 1 1
      civic

+ 1 - 1
civic

@@ -1 +1 @@
-Subproject commit 0e8f71c11489f07882318481b166490af8f458a9
+Subproject commit 418598a8041ed40689f4c2cc5009df053e99cca0