chiark / gitweb /
Add '-v' option to patternsolver, to make it show its working.
authorSimon Tatham <anakin@pobox.com>
Fri, 2 Apr 2010 10:20:58 +0000 (10:20 +0000)
committerSimon Tatham <anakin@pobox.com>
Fri, 2 Apr 2010 10:20:58 +0000 (10:20 +0000)
commitc0f8b08833f45a6d7aef1086778c9bc479fdefb3
tree7c8db4b532639d349074bca654edbaeb2fac5373
parent8e74bbae6b12fbf0afe155b9ba3b8329426583d4
Add '-v' option to patternsolver, to make it show its working.

[originally from svn r8914]
pattern.c