diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-08 17:23:39 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2014-12-09 12:14:40 +0100 |
| commit | 1a909f17deac1ca929eb429cba67b18869437374 (patch) | |
| tree | 96c6857ff1368a11299147aea001f319e994ed93 /doc/refman/Micromega.tex | |
| parent | 14206ea932b147309f1cc046722b649a1aadb123 (diff) | |
refman: avoid label names with whitespace (unsupported in html)
Diffstat (limited to 'doc/refman/Micromega.tex')
0 files changed, 0 insertions, 0 deletions