diff options
| author | Pierre-Marie Pédrot | 2016-04-20 23:24:02 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-04-24 16:44:41 +0200 |
| commit | f3515efc26a693f4c525ad91c37c982f4c96e6ec (patch) | |
| tree | 6e74da53a761857bf905b5f43c498b3a4aac0fc0 /plugins | |
| parent | 65578a55b81252e2c4b006728522839a9e37cd5c (diff) | |
Factorizing the declaration of ML notation printing in Tacentries.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions