diff options
| author | Pjotr Prins | 2021-08-26 09:38:05 +0200 |
|---|---|---|
| committer | Pjotr Prins | 2021-08-26 09:38:05 +0200 |
| commit | a00293374786167692aab7562d5069a9225497b0 (patch) | |
| tree | c36f9f8e1079c9c4b6d6566265f28413afc433ad /doc/example | |
| parent | a2f5b9bd0ed17499601b0b3c6b0916489cd5555f (diff) | |
| download | pangemma-a00293374786167692aab7562d5069a9225497b0.tar.gz | |
github-ci: fix badge
Diffstat (limited to 'doc/example')
0 files changed, 0 insertions, 0 deletions