diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2019-02-22 08:09:05 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-02-22 08:09:05 +0200 |
| commit | 8054f2973d453b71806f52f0bb30725cb31d64dd (patch) | |
| tree | 823809a3ac0b9716dc5d9c62e4bd996d087d678c /doc/.gitignore | |
| parent | 03a2d8a6aca2f38d944bd172c0baed3027773358 (diff) | |
Improve ODB regeneration script
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions