diff options
| author | Georges Gonthier | 2019-04-29 11:12:26 +0200 |
|---|---|---|
| committer | Georges Gonthier | 2019-04-29 17:51:05 +0200 |
| commit | dae54440f08364552e1a82ac7984f35d1864f1e5 (patch) | |
| tree | ee443d2cf69970aece83d93435fe598994fbf8ff /docs/htmldoc/mathcomp.character.classfun.html | |
| parent | 6be8fd5c67949a59bde7083e81401263986e7a4e (diff) | |
reinstate token catenation hack in `prime.v`
Appears to be needed fo v8.7 compatibility, to avert some bug in early
`only printing` implementation whose fix was not back ported.
Diffstat (limited to 'docs/htmldoc/mathcomp.character.classfun.html')
0 files changed, 0 insertions, 0 deletions