diff options
| author | Théo Zimmermann | 2018-12-11 16:00:15 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2018-12-11 16:00:15 +0100 |
| commit | 99292a2a45f93cc27899c1f2ff4cda38c852c0b6 (patch) | |
| tree | bf1668d9ab5578e4f7dc131926a8b20a13fc4c59 /dev/include | |
| parent | 10b07a187522b74bbcc9355d3ff9c4153f300706 (diff) | |
Document the deprecation of hint declaration withou database in refman.
Follow-up of #8987.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions