aboutsummaryrefslogtreecommitdiff
path: root/dev/base_include
diff options
context:
space:
mode:
authorMaxime Dénès2018-11-13 16:39:54 +0100
committerMaxime Dénès2018-11-14 08:53:03 +0100
commiteeb1d861551e25c6a92721334b3c9f36b7ebb012 (patch)
treee51a9b33352681751c8eb67ca37fd8d4bd3033e1 /dev/base_include
parent94494770254bec236f2f6fe727ae42b79192afe4 (diff)
Deprecate hint declaration/removal with no specified database
Previously, hints added without a specified database where implicitly put in the "core" database, which was discouraged by the user manual (because of the lack of modularity of this approach).
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions