diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-05-24 13:36:05 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-05-24 13:36:05 +0100 |
| commit | d1bea5e0f88ad2cfcd0b0667fb11279100d02e6b (patch) | |
| tree | 892fdd7d4d241cd456689463707cc50f8564da56 /src/translation | |
| parent | 39a4348657c2f3efb3feafe9cf65b0f2a1a263c2 (diff) | |
| download | vericert-d1bea5e0f88ad2cfcd0b0667fb11279100d02e6b.tar.gz vericert-d1bea5e0f88ad2cfcd0b0667fb11279100d02e6b.zip | |
Add statemonad declaration
Diffstat (limited to 'src/translation')
0 files changed, 0 insertions, 0 deletions