diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-17 07:23:18 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-17 07:23:18 +0200 |
| commit | 7359b3e756e4472282c212b99fd7a1926a2fea47 (patch) | |
| tree | b7f003f7a88917394233873f799474d3b600de71 /doc/refman/Micromega.tex | |
| parent | e3eb17a728d7b6874e67462e8a83fac436441872 (diff) | |
| parent | dbf1f8200c6d5d3ddb61aa093376cb78156980e1 (diff) | |
Merge PR #862: Adding support for bindings tags to explicit prefix/suffix rather than colors
Diffstat (limited to 'doc/refman/Micromega.tex')
0 files changed, 0 insertions, 0 deletions