git.joonet.de Git - adminer.git/commit

]> git.joonet.de Git - adminer.git/commit

projects / adminer.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: c99ca86) | patch

author	Jakub Vrana <jakub@vrana.cz>
	Sat, 15 Mar 2025 08:38:06 +0000 (09:38 +0100)
committer	Jakub Vrana <jakub@vrana.cz>
	Sat, 15 Mar 2025 08:38:06 +0000 (09:38 +0100)
commit	a391fcb6c40c3cf438253959c1f6ea6566d503a2
tree	d5bf126308b5c6cf7112f43b20dade639e4e57cd	tree \| snapshot
parent	c99ca863ce5b3d217fd9eb11b588705f4e252663	commit \| diff

Compile: Use external PhpShrink

.gitmodules		diff \| blob \| history
compile.php		diff \| blob \| history
externals/PhpShrink	[new submodule]	blob
php_shrink.inc.php	[deleted file]	blob \| history
tests/php_shrink.php	[deleted file]	blob \| history

Sources of adminer, a webclient for database management systems.