21 Nov
2020
21 Nov
'20
10:06 p.m.
Branch: refs/heads/master Home: https://github.com/phpmyadmin/scripts Commit: 015c731548e45bd2d404c95d77e7b67e5b245b61 https://github.com/phpmyadmin/scripts/commit/015c731548e45bd2d404c95d77e7b67... Author: William Desportes williamdes@wdes.fr Date: 2020-11-21 (Sat, 11 November 2020) +01:00
Changed paths: M develdocs/build.sh M develdocs/doctum.php
Log Message: ----------- Fix #38 - Set the default branch for GitHubRemoteRepository URLs
Signed-off-by: William Desportes williamdes@wdes.fr