send debug output to stderr in (unused) unfringe
commitc44d949203bcd09fe69450224524463c8aba780f
authorskimo <skimo>
Fri, 30 Jul 2004 13:43:06 +0000 (30 13:43 +0000)
committerskimo <skimo>
Fri, 30 Jul 2004 13:43:06 +0000 (30 13:43 +0000)
treeea9910e018cdc7703b38892bef53e6939c7b6688
parent3638bc1acf677c71b843e99a734cc5c6e4c5ab7c
send debug output to stderr in (unused) unfringe
barvinok.cc