Revision 758458be
ID | 758458be054ebdf4cd77620faf214f2b491a49dc |
Parent | 02bd064a |
Child | d3abfbc6 |
Unified parsing of prefixes.
Had to rename `prefix' in filters to `fprefix'.
Files
- added
- modified
- copied
- renamed
- deleted
ID | 758458be054ebdf4cd77620faf214f2b491a49dc |
Parent | 02bd064a |
Child | d3abfbc6 |
Added by Martin Mares over 20 years ago
Unified parsing of prefixes.
Had to rename `prefix' in filters to `fprefix'.