Revision d7640a0d
ID | d7640a0de43da823537e20f69b55b7ceca68a82b |
Fix grep_xseg to work both with include/exclude
Files
- added
- modified
- copied
- renamed
- deleted
ID | d7640a0de43da823537e20f69b55b7ceca68a82b |
Added by Alex Pyrgiotis about 11 years ago
Fix grep_xseg to work both with include/exclude