debian specific patch information for phppgadmin / 4.0.1-3.1etch2

 libraries/lib.inc.php |    2 ++
 1 file changed, 2 insertions(+)

 all_db.php            |    1 -
 casts.php             |    1 -
 constraints.php       |    1 -
 conversions.php       |    1 -
 database.php          |    1 -
 dataexport.php        |    2 +-
 display.php           |    1 -
 domains.php           |    1 -
 functions.php         |    1 -
 groups.php            |    1 -
 indexes.php           |    1 -
 info.php              |    1 -
 intro.php             |    2 +-
 languages.php         |    1 -
 libraries/lib.inc.php |    3 +++
 login.php             |    4 +++-
 operators.php         |    1 -
 plugin_slony.php      |    1 -
 privileges.php        |    1 -
 redirect.php          |    2 +-
 reports.php           |    1 -
 rules.php             |    1 -
 schemas.php           |    1 -
 sequences.php         |    1 -
 servers.php           |    1 -
 sql.php               |    2 --
 sqledit.php           |    1 -
 tables.php            |    1 -
 tablespaces.php       |    1 -
 tblproperties.php     |    1 -
 triggers.php          |    1 -
 types.php             |    1 -
 users.php             |    1 -
 viewproperties.php    |    1 -
 views.php             |    1 -
 35 files changed, 9 insertions(+), 35 deletions(-)