diff options
| author | Gaëtan Gilbert | 2017-10-18 19:13:39 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-10-18 19:26:00 +0200 |
| commit | fd391e6755f6552c9786bd285cf55eb506e0b056 (patch) | |
| tree | cac955a8903382fb85a84f52c86484989f118794 /API/API.ml | |
| parent | 6bda57bd75efe55fe1f7774f932e9ef5a65aeaaf (diff) | |
Bugzilla autolink: avoid linking inside links (fix #5974).
Diffstat (limited to 'API/API.ml')
0 files changed, 0 insertions, 0 deletions