diff options
| author | Pjotr Prins | 2018-09-27 09:53:23 +0000 |
|---|---|---|
| committer | Pjotr Prins | 2018-09-27 09:53:23 +0000 |
| commit | ec839a12c279317cec1135e9fdaa50fb00708d89 (patch) | |
| tree | 42bf0faef7e51f60bef6d76e32a15ab417d61bdb /doc/developers | |
| parent | 040e501d37dbe552f333b1afbb329116ee7fe1c7 (diff) | |
| download | pangemma-ec839a12c279317cec1135e9fdaa50fb00708d89.tar.gz | |
Using -no-check by default now
Diffstat (limited to 'doc/developers')
0 files changed, 0 insertions, 0 deletions