diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2017-02-28 21:39:46 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2017-02-28 21:43:13 +0100 |
| commit | 22fd7b2d4764535bd3afc37728df1015b0294467 (patch) | |
| tree | 308db1ade2168db9280b6c460c478e9183a8372f /media-plugins/vdr-extrecmenu | |
| parent | dev-lang/spidermonkey:{38,45} drop more static libs (diff) | |
| download | gentoo-22fd7b2d4764535bd3afc37728df1015b0294467.tar.gz gentoo-22fd7b2d4764535bd3afc37728df1015b0294467.tar.bz2 gentoo-22fd7b2d4764535bd3afc37728df1015b0294467.zip | |
Drop remaining $Id$ and $Header$ from files.
Bug: 611234
Diffstat (limited to 'media-plugins/vdr-extrecmenu')
| -rw-r--r-- | media-plugins/vdr-extrecmenu/files/extrecmenu.mk | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/media-plugins/vdr-extrecmenu/files/extrecmenu.mk b/media-plugins/vdr-extrecmenu/files/extrecmenu.mk index 88635193eff2..b08519610a69 100644 --- a/media-plugins/vdr-extrecmenu/files/extrecmenu.mk +++ b/media-plugins/vdr-extrecmenu/files/extrecmenu.mk @@ -1,7 +1,6 @@ # # Makefile for a Video Disk Recorder plugin # -# $Id$ # The official name of this plugin. # This name will be used in the '-P...' option of VDR to load the plugin. |