diff options
| author | Théo Zimmermann | 2019-01-28 14:17:06 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-01-28 14:17:06 +0100 |
| commit | 9d9bc6fa0eb3d83218f7ed025cacab4875e555ea (patch) | |
| tree | 4087f9476f0884255611e72baa39cf8377a8771d /doc/common | |
| parent | 562a731fd380be3e3ba8318348a9b92ca6cc1668 (diff) | |
| parent | 03d2931aad83cb7ce7383ee87fa80c108ac33dac (diff) | |
Merge PR #9402: Move \def\plus and \def\tri to refman-preamble.sty.
Reviewed-by: Zimmi48
Diffstat (limited to 'doc/common')
0 files changed, 0 insertions, 0 deletions