diff options
| author | John Denker <jsd@av8n.com> | 2012-07-21 15:53:08 -0700 |
|---|---|---|
| committer | John Denker <jsd@av8n.com> | 2012-07-29 15:32:35 -0700 |
| commit | 8ce08aca2410c795dfc46f37dc27402ff6de5dd1 (patch) | |
| tree | cfc99e724b35435aa44f9a23791e8fc4d9684e83 /PIC.local2rem | |
| parent | 46cb697732ea2c2c4a68358109a58232ef2666e7 (diff) | |
ignore penalty features for the moment
Diffstat (limited to 'PIC.local2rem')
0 files changed, 0 insertions, 0 deletions