diff options
author | 2016-06-02 11:40:33 +0200 | |
---|---|---|
committer | 2016-06-02 11:40:33 +0200 | |
commit | c6d5f9c39b3e12f58745c22eade90d34548b6283 (patch) | |
tree | e42a27483494c7f03844f657609c9ff691f8603d /printing/ppconstrsig.mli | |
parent | abd469790c2e144f693e1b21c5cdc03aee178e6d (diff) |
Add an option to configure the modifier for Queries.
Diffstat (limited to 'printing/ppconstrsig.mli')
0 files changed, 0 insertions, 0 deletions