diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-08 12:59:55 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-05-08 12:59:55 +0200 |
| commit | 7507e6686bc6d661cf6470946ada6e4139c05270 (patch) | |
| tree | eac080f07cd464b861ed07de4734894376cc0434 /odb/makefile | |
| parent | 405fbdfff7c123a7c3081f3f501f4b82254e6957 (diff) | |
Omit auto-generated documentation for now to allow building from git
Diffstat (limited to 'odb/makefile')
0 files changed, 0 insertions, 0 deletions