patch applied (hat): Accept TR nodes with the `8' bit set to indicate SAT without APP.
10 Oct
2006
10 Oct
'06
4:34 p.m.
Tue May 8 06:49:24 PDT 2001 colin * Accept TR nodes with the `8' bit set to indicate SAT without APP. M ./src/hattools/hat-check.c -24 +4
7040
Age (days ago)
7040
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace