mirror of https://github.com/briot/gnatbdd
Github should not do further processing of the doc
This commit is contained in:
parent
5fef28493a
commit
a846d7a695