diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2014-03-04 13:05:57 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2014-03-04 13:05:57 +0200 |
commit | ba2b1039c37e3a18589f78c1508fd503be70b262 (patch) | |
tree | 3094c9a7f9ac2b06af25411b1612701c61e3fd27 /.gitignore | |
parent | e21a730c1fc4e199fb9b3c812a070788527b4c0e (diff) |
Pass database we are compiling for to plugin explicitly as first argument
Rather than relying on it being specified in the command line which may
not be the case -- the option could be specified in an options file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions