diff options
Diffstat (limited to 'gnome1-libs/gnome-profile/DETAILS')
| -rwxr-xr-x | gnome1-libs/gnome-profile/DETAILS | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gnome1-libs/gnome-profile/DETAILS b/gnome1-libs/gnome-profile/DETAILS deleted file mode 100755 index c58de2077a..0000000000 --- a/gnome1-libs/gnome-profile/DETAILS +++ /dev/null @@ -1,7 +0,0 @@ - SPELL=gnome-profile - VERSION=0 - PATCHLEVEL=9999 - SHORT="deprecated" - cat << EOF - deprecated spell [replaced by gnome2-profile] - EOF |