diff options
| author | Mark H Weaver <mhw@netris.org> | 2015-04-04 11:00:21 -0400 |
|---|---|---|
| committer | Mark H Weaver <mhw@netris.org> | 2015-04-04 11:02:34 -0400 |
| commit | f905286b111e0752079e2476bea879d3477642b0 (patch) | |
| tree | 924f6af9b795fb91077028044d75e0f6dd28bb33 /THANKS | |
| parent | a952b10c23c9ca5931793d862a718b55492a046d (diff) | |
gnu: source-highlight: Remove obsolete patch.
This should have been done in a952b10c23c9ca5931793d862a718b55492a046d.
* gnu/packages/patches/source-highlight-regexrange-test.patch: Remove.
* gnu-system.am (dist_patch_DATA): Remove it.
* gnu/packages/pretty-print.scm (source-highlight)[source]: Remove patch.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions