diff options
| author | Arwed v. Merkatz | 2006-06-12 20:11:04 +0200 |
|---|---|---|
| committer | Arwed v. Merkatz | 2006-06-12 20:11:04 +0200 |
| commit | 3b2dbf26b002b723b75a1ccc85b349d781bb76d3 (patch) | |
| tree | 45c73e7578278bfc998c70b615d850b528acc698 /gnome1-libs/gnome-media | |
| parent | 859319b7e90b88f3dca882249f2413446c2bcda8 (diff) | |
gnome-media: removed BUILD_API=1 again as it's not necessary
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, 0 insertions, 4 deletions
diff --git a/gnome1-libs/gnome-media/DETAILS b/gnome1-libs/gnome-media/DETAILS index 914cc812cd..2c013ea115 100755 --- a/gnome1-libs/gnome-media/DETAILS +++ b/gnome1-libs/gnome-media/DETAILS @@ -13,7 +13,6 @@ 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 11535212fd..1075149eed 100644 --- a/gnome1-libs/gnome-media/HISTORY +++ b/gnome1-libs/gnome-media/HISTORY @@ -1,6 +1,3 @@ -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 |