diff options
| author | Pierre-Marie Pédrot | 2019-12-23 15:17:27 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-12-23 15:17:27 +0100 |
| commit | 4bf98342425c20c062f0a861a658230668b06323 (patch) | |
| tree | 4cc398910bf5e56820330e9e13c9822399195c9c /dev | |
| parent | 95fc326a64dd655e8e35af3cc64608d23c997de1 (diff) | |
| parent | 273586eca1f6372d3b633b7689b9cbb33d4e79ea (diff) | |
Merge PR #11324: [refman] Mention Ltac2 in intro.
Reviewed-by: jfehrle
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions