]> git.joonet.de Git - adminer.git/commit
projects / adminer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc635ac) | patch
Hide Refresh link if it does nothing
authorJakub Vrana <jakub@vrana.cz>
Tue, 4 Mar 2025 18:58:26 +0000 (19:58 +0100)
committerJakub Vrana <jakub@vrana.cz>
Tue, 4 Mar 2025 18:58:26 +0000 (19:58 +0100)
commitf0335f7f8b9d0238ced432c367ed2ffa6be47f23
tree37abc9961a02c86ce3ddc38d1cf508d1bc98e9b0tree | snapshot
parentcc635acd2038530b125f45651eeb38ac62431b6ccommit | diff
Hide Refresh link if it does nothing
adminer/include/connect.inc.php diff | blob | history
Sources of adminer, a webclient for database management systems.