Signal a style-warning on redefinition of DEFREADTABLE.
darcs-hash:20080927124202-f5546-b5e9111d308c40ab33a7ec86ed698b00a9e85322.gz
parent
e1369677
Please register or sign in to comment
darcs-hash:20080927124202-f5546-b5e9111d308c40ab33a7ec86ed698b00a9e85322.gz