diff options
| author | yudetamago | 2018-12-19 18:30:22 +0900 |
|---|---|---|
| committer | yudetamago | 2018-12-19 18:30:42 +0900 |
| commit | 9d0087f5e505d5b262bb017a78f6ca9b3eb225ad (patch) | |
| tree | 2523d94a6202829e851d643b9baa91a37e14bbfd /dev/ci/ci-plugin_tutorial.sh | |
| parent | 41400286140d8808412b697642d92df063cb3464 (diff) | |
Fix typo in gallina specification language doc
Diffstat (limited to 'dev/ci/ci-plugin_tutorial.sh')
0 files changed, 0 insertions, 0 deletions