diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2022-09-08 16:26:08 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2022-09-12 20:19:13 +0300 |
commit | efa2666ada7fcc7679ee8b6031d71855f46e5c6d (patch) | |
tree | 2b6dbaf962a908cd3c67ff8958d20865ff2c2473 /odb/.gitignore | |
parent | 4aa63bc7037cb6c6162eb014f00ddba5c677a169 (diff) |
Use ad hoc recipes to compile options.cli file
Diffstat (limited to 'odb/.gitignore')
-rw-r--r-- | odb/.gitignore | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/odb/.gitignore b/odb/.gitignore index 7e97b78..4fd410e 100644 --- a/odb/.gitignore +++ b/odb/.gitignore @@ -1,3 +1,2 @@ -odb -odb.so -#options.?xx +/odb +/options.?xx |