https://gitlab.inria.fr/mbaillon/gardening-with-the-pythia
Revision 2a2e1364b0c15be1b4f39199dee179ecf56d0053 authored by Martin Baillon on 08 July 2021, 21:41:35 UTC, committed by Martin Baillon on 08 July 2021, 21:41:35 UTC
1 parent d8ab4c8
History
Tip revision: 2a2e1364b0c15be1b4f39199dee179ecf56d0053 authored by Martin Baillon on 08 July 2021, 21:41:35 UTC
comments
Tip revision: 2a2e136
File Mode Size
Base.v -rw-r--r-- 1.8 KB
Dialogue.v -rw-r--r-- 24.1 KB
README.md -rw-r--r-- 336 bytes
Translation.v -rw-r--r-- 105.3 KB

README.md

back to top