diff options
Diffstat (limited to 'profiles/hardened/virtuals')
-rw-r--r-- | profiles/hardened/virtuals | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/profiles/hardened/virtuals b/profiles/hardened/virtuals deleted file mode 100644 index 11eeed2b471e..000000000000 --- a/profiles/hardened/virtuals +++ /dev/null @@ -1,5 +0,0 @@ -# Copyright 1999-2011 Gentoo Foundation. -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/hardened/virtuals,v 1.23 2011/04/15 22:11:47 ulm Exp $ - -virtual/linux-sources sys-kernel/hardened-sources |