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