diff options
author | Arwed v. Merkatz | 2006-06-12 15:04:23 +0200 |
---|---|---|
committer | Arwed v. Merkatz | 2006-06-12 15:17:30 +0200 |
commit | 58f4177d60aef11dee49b751a31582a4b49f5f67 (patch) | |
tree | 931f7bc5f301391d348f160b047baf20e0834933 /gnome1-libs/gnome-media | |
parent | 7dced23d128dd894d75b62c02f28848c9b51e926 (diff) |
gnome-media: added BUILD_API=1
Diffstat (limited to 'gnome1-libs/gnome-media')
-rwxr-xr-x | gnome1-libs/gnome-media/DETAILS | 1 | ||||
-rw-r--r-- | gnome1-libs/gnome-media/HISTORY | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/gnome1-libs/gnome-media/DETAILS b/gnome1-libs/gnome-media/DETAILS index 2c013ea115..914cc812cd 100755 --- a/gnome1-libs/gnome-media/DETAILS +++ b/gnome1-libs/gnome-media/DETAILS @@ -13,6 +13,7 @@ SOURCE_DIRECTORY=$BUILD_DIRECTORY/$SPELL-$VERSION ENTERED=20010922 UPDATED=20010922 KEYWORDS="gnome1 libs" + BUILD_API=1 SHORT="gnome-media provides audio utilities for GNOME." cat << EOF These are the GNOME media tools. diff --git a/gnome1-libs/gnome-media/HISTORY b/gnome1-libs/gnome-media/HISTORY index 1075149eed..11535212fd 100644 --- a/gnome1-libs/gnome-media/HISTORY +++ b/gnome1-libs/gnome-media/HISTORY @@ -1,3 +1,6 @@ +2006-06-12 Arwed v. Merkatz <v.merkatz@gmx.net> + * DETAILS: inserted BUILD_API=1 line + 2006-03-12 Karsten Behrmann <BearPerson@sourcemage.org> * DETAILS: (automated) Add KEYWORDS |