pgadmin-org
/
pgadmin4
mirror of https://github.com/pgadmin-org/pgadmin4.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix indent.

pull/14/head
Dave Page 2018-06-18 13:47:39 -04:00
parent a45c33cf76
commit 717637c5b9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/browser/server_groups/servers/databases/static/js/database.js
View File

@ -340,7 +340,7 @@ define('pgadmin.node.database', [
else { else {
if (data && _.isArray(data)) { if (data && _.isArray(data)) {
_.each(data, function(d) { _.each(data, function(d) {
res.push({label: d, value: d, res.push({label: d, value: d,
image: 'pg-icon-database'}); image: 'pg-icon-database'});
}); });
} }