19 Jul
2020
19 Jul
'20
12:39 p.m.
Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: ed7edd038e1b265c9572c37b5971dc34f5bf72ac https://github.com/phpmyadmin/scripts/commit/ed7edd038e1b265c9572c37b5971dc3... Author: William Desportes williamdes@wdes.fr Date: 2020-07-19 (Sun, 07 July 2020) +02:00
Changed paths: M develdocs/output/index.html
Log Message: ----------- Improve develdocs page