Revision 842e3764
ID | 842e37644832dacda53a44d48e53a5e0bdcb7ebf |
Parent | 5e15f460 |
Child | 8c2ebac8 |
hail: cleanup unused options
Files
- added
- modified
- copied
- renamed
- deleted
ID | 842e37644832dacda53a44d48e53a5e0bdcb7ebf |
Parent | 5e15f460 |
Child | 8c2ebac8 |
Added by Iustin Pop almost 15 years ago
hail: cleanup unused options