chiark / gitweb /
Fix up filename change. Generates decls !
authorian <ian>
Fri, 30 Aug 2002 21:33:48 +0000 (21:33 +0000)
committerian <ian>
Fri, 30 Aug 2002 21:33:48 +0000 (21:33 +0000)
commit427c2d3d8b6ae6b580c773400c00322242014558
treec256be38ca40b254e302b01511e1f880620571cc
parent49c3802afe7339871a8387c90de3e5ff798d66b1
Fix up filename change.  Generates decls !
base/tables-examples.tct
base/tcmdifgen