https://gitlab.inria.fr/mbaillon/gardening-with-the-pythia
Revision 7af05d72f4e9da43b1e42c6ebdcdd079e078bff8 authored by Martin Baillon on 07 February 2022, 17:59:36 UTC, committed by Martin Baillon on 07 February 2022, 17:59:36 UTC
1 parent 1c783fb
Tip revision: 7af05d72f4e9da43b1e42c6ebdcdd079e078bff8 authored by Martin Baillon on 07 February 2022, 17:59:36 UTC
Comments and examples
Comments and examples
Tip revision: 7af05d7
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-- | 108.7 KB |

Computing file changes ...