diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2016-11-25T23·37+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2016-11-25T23·38+0100 |
| commit | 215b70f51e5abd350c9b7db656aedac9d96d0046 (patch) | |
| tree | 95778448ecdfbc1d8f4c254813cc5d91ed62a832 /doc/manual/figures | |
| parent | f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7 (diff) | |
Revert "Get rid of unicode quotes (#1140)"
This reverts commit f78126bfd6b6c8477fcdbc09b2f98772dbe9a1e7. There really is no need for such a massive change...
Diffstat (limited to 'doc/manual/figures')
0 files changed, 0 insertions, 0 deletions