diff options
| author | Théo Zimmermann | 2018-12-21 17:21:41 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-12-21 17:21:41 +0100 |
| commit | 6c8d47b07b4f0ec59169ac207b204d2bf2116f3a (patch) | |
| tree | 68ae3cefba61118a41a73711a274e1ed7b33f37e /dev/bugzilla2github_stripped.csv | |
| parent | 2b067daecb9529cf77a992c76303d1cc85f11537 (diff) | |
| parent | 9d0087f5e505d5b262bb017a78f6ca9b3eb225ad (diff) | |
Merge PR #9247: Fix typo in gallina specification language doc
Diffstat (limited to 'dev/bugzilla2github_stripped.csv')
0 files changed, 0 insertions, 0 deletions