diff options
| author | Matteo Bertini <matteo@naufraghi.net> | 2016-07-07 13:06:05 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-07 13:06:05 +0200 |
| commit | fa9169fe97bc3bf85e5520ed6aca256a32c32245 (patch) | |
| tree | e81f877f345e547ef6ba4f988bfdbf56f34e6538 /src/buffer_manager.cc | |
| parent | 439f16892828177dfea19f73f2e588071ed075e0 (diff) | |
Fix typo: make_bash.bash -> make_deb.bash
Diffstat (limited to 'src/buffer_manager.cc')
0 files changed, 0 insertions, 0 deletions