projects / phppgadmin.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: a983877 c263f65)
Merge pull request #6 from rjuju/master
authorJehan-Guillaume (ioguix) de Rorthais <jgdr@dalibo.com>
Fri, 17 Aug 2012 09:31:30 +0000 (02:31 -0700)
committerJehan-Guillaume (ioguix) de Rorthais <jgdr@dalibo.com>
Fri, 17 Aug 2012 09:31:30 +0000 (02:31 -0700)
Fix an issue introduced in 183b1e0 : Fix when no value for theme in config file


Trivial merge
phpPgAdmin is the premiere web based administration tool for PostgreSQL.