[gama-platform/gama] 4d3af6: [DOC] Rename exhaustive index md filename

0 views

Skip to first unread message

unread,

May 10, 2022, 6:00:22 AM5/10/22

to gama...@googlegroups.com

Branch: refs/heads/GAMA_1.8.2
Home: https://github.com/gama-platform/gama
Commit: 4d3af63e2748124f07b2ed70c9bc6303df7d1316
https://github.com/gama-platform/gama/commit/4d3af63e2748124f07b2ed70c9bc6303df7d1316
Author: RoiArthurB <con...@arthurbrugiere.fr>
Date: 2022-05-10 (Tue, 10 May 2022)

Changed paths:
M msi.gama.documentation/src/msi/gama/doc/transform/XmlToWiki.java

Log Message:
-----------
[DOC] Rename exhaustive index md filename
ci docs

Reply all

Reply to author

Forward

0 new messages