converting *.pat files
authorKlaus Kaempf <kkaempf@suse.de>
Thu, 27 Apr 2006 21:16:14 +0000 (21:16 +0000)
committerKlaus Kaempf <kkaempf@suse.de>
Thu, 27 Apr 2006 21:16:14 +0000 (21:16 +0000)
commitbe77f90470e06003cbf396be7aaa06b774808bda
tree3bb4c83de84b4c45fabeabbb1801d17097b61f3f
parent9e88472336fe7c77e2913435fd4ce1482e57c858
converting *.pat files
testsuite/solver/tools/patterns_to_dot.rb [new file with mode: 0755]
testsuite/solver/tools/patterns_to_xml.rb [new file with mode: 0755]