Merge DEV_TREE into HEAD. May as well get this ball rolling.
authorchriskl <chriskl>
Mon, 2 May 2005 15:47:23 +0000 (15:47 +0000)
committerchriskl <chriskl>
Mon, 2 May 2005 15:47:23 +0000 (15:47 +0000)
commit23b05fc8823bbab2f79480968c2783266df3d971
treed5aeb31dff8a4622a01e0f6855984ebb8addf28b
parent08a01fa1ac80ed21f0cdae5db2d562e414db4509
Merge DEV_TREE into HEAD.  May as well get this ball rolling.
67 files changed:
CREDITS
HISTORY
TRANSLATORS
aggregates.php
all_db.php
bottombar.php [deleted file]
browser.php
classes/ArrayRecordSet.php [new file with mode: 0644]
classes/Misc.php
classes/Reports.php
classes/database/Postgres.php
classes/database/Postgres71.php
classes/database/Postgres72.php
classes/database/Postgres73.php
classes/database/Postgres80.php
constraints.php
conversions.php
database.php
dataexport.php
dbexport.php
display.php
domains.php
functions.php
groups.php
images/themes/default/I.png [new file with mode: 0644]
images/themes/default/L.png [new file with mode: 0644]
images/themes/default/Lminus.png [new file with mode: 0644]
images/themes/default/Lplus.png [new file with mode: 0644]
images/themes/default/T.png [new file with mode: 0644]
images/themes/default/Tminus.png [new file with mode: 0644]
images/themes/default/Tplus.png [new file with mode: 0644]
images/themes/default/blank.png [new file with mode: 0644]
images/themes/default/file.png [new file with mode: 0644]
images/themes/default/folder.png [new file with mode: 0644]
images/themes/default/folderOpen.png [new file with mode: 0644]
images/themes/default/loading.gif [new file with mode: 0644]
images/themes/default/root.png [new file with mode: 0644]
images/themes/default/title.png
index.php
indexes.php
intro.php
lang/english.php
lang/translations.php [new file with mode: 0644]
libraries/decorator.inc.php [new file with mode: 0644]
libraries/errorhandler.inc.php
libraries/lib.inc.php
login.php
opclasses.php
operators.php
redirect.php
reports.php
sequences.php
servers.php [new file with mode: 0644]
sqledit.php
tables.php
tablespaces.php
tblproperties.php
themes/default/global.css
topbar.php [deleted file]
triggers.php
types.php
users.php
viewproperties.php
views.php
xloadtree/xloadtree2.js [new file with mode: 0644]
xloadtree/xmlextras.js [new file with mode: 0644]
xloadtree/xtree2.js [new file with mode: 0644]