[phpMyAdmin Git] [phpmyadmin/scripts] ab0b0e: Use Doctum in replacement of Sami

[William Desportes]

Branch: refs/heads/doctum
Home: https://github.com/phpmyadmin/scripts
Commit: ab0b0e3432aaece32e0210630f2edd89ccd2040c
https://github.com/phpmyadmin/scripts/commit/ab0b0e3432aaece32e0210630f2edd89ccd2040c
Author: William Desportes <williamdes at 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 at wdes.fr>