summaryrefslogtreecommitdiff
path: root/odb/options.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2010-09-15 18:11:43 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2010-09-15 18:11:43 +0200
commit8f9b4402eb66c3fe3c988ff7bb2ec5b159c422ce (patch)
tree9b290d2105f1b5c633486db9911cfa61642a9c79 /odb/options.cli
parentbccebbfb3557b47382d0aa998b110e542607d30b (diff)
Warn about unknown pragmas
Diffstat (limited to 'odb/options.cli')
0 files changed, 0 insertions, 0 deletions