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-sound/gnump3d | |
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-sound/gnump3d')
-rw-r--r-- | media-sound/gnump3d/files/gnump3d.init.d | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/media-sound/gnump3d/files/gnump3d.init.d b/media-sound/gnump3d/files/gnump3d.init.d index a894749b0a0c..730fc0cdb2db 100644 --- a/media-sound/gnump3d/files/gnump3d.init.d +++ b/media-sound/gnump3d/files/gnump3d.init.d @@ -1,7 +1,6 @@ #!/sbin/openrc-run # Copyright 1999-2011 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 -# $Id$ extra_commands="index" |