diff options
| author | Théo Zimmermann | 2020-11-19 19:02:42 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2020-11-19 21:16:29 +0100 |
| commit | c63c3970fe4ffcd7a2aa8fa6e17c3f94f06762f9 (patch) | |
| tree | d67eadf3ea25f6f83ff9097cbf63edbbba2d3d22 /pretyping | |
| parent | 3037172c80190b74b2c0f3017420cc871e74c996 (diff) | |
[changelog] Indicate a replacement for deprecated syntax of debug / info_eauto.
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions