diff options
| author | Théo Zimmermann | 2020-05-01 13:05:16 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-01 13:05:39 +0200 |
| commit | 80b3d6977d29933a5d583566612bd8d0834acad8 (patch) | |
| tree | ac6116d81263a4c08e392631b06d2ab460775892 /doc/plugin_tutorial/tuto0/Makefile | |
| parent | 9eb788ebca0305fc72940c92b9ae35bbaca56c5c (diff) | |
| parent | a42cf3402094e6f7ce019243edfc6b6137de011a (diff) | |
Create basics out of sections from Gallina and Vernac chapters.
Diffstat (limited to 'doc/plugin_tutorial/tuto0/Makefile')
0 files changed, 0 insertions, 0 deletions