18 Jul
2020
18 Jul
'20
11:40 p.m.
Branch: refs/heads/doctum Home: https://github.com/phpmyadmin/scripts Commit: ab0b0e3432aaece32e0210630f2edd89ccd2040c https://github.com/phpmyadmin/scripts/commit/ab0b0e3432aaece32e0210630f2edd8... Author: William Desportes williamdes@wdes.fr Date: 2020-07-18 (Sat, 07 July 2020) +02:00
Changed paths: A develdocs/doctum.php M develdocs/build.sh M develdocs/composer.json D develdocs/sami.php
Log Message: ----------- Use Doctum in replacement of Sami
Signed-off-by: William Desportes williamdes@wdes.fr