diff options
| author | Erik Martin-Dorel | 2016-08-14 00:32:26 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2016-08-14 00:32:26 +0200 |
| commit | 66ea13a2b855597ef8b5b648d0e8c398ac471933 (patch) | |
| tree | 242e116b8d5bf3a37820d9a877969c373949ddf9 /lib | |
| parent | 01245b99b1d4b397ccfde65eeb59428f1d271539 (diff) | |
Replace "Set Implicit Arguments" option with "Set Printing Implicit".
Closes #99.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions