diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-12-31 12:24:05 +0100 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-12-31 12:24:27 +0100 |
| commit | e756eca9e8bf39f0a891f1760df0a317ecb7fee8 (patch) | |
| tree | aa8bbaf38dbb341363300441d2c76f69e498b19d /src/leveldb/include | |
| parent | cc07f9ce690cc0d0c7ace181777d1ee5824a7151 (diff) | |
| parent | 1a49a0e310ebc67a00536c3d98509e3938d5d1dd (diff) | |
Merge #15054: Update copyright headers to 2018
1a49a0e310 Bump manpages (DrahtBot)
06ba77973e Update copyright headers to 2018 (DrahtBot)
Pull request description:
* `./contrib/devtools/copyright_header.py update ./`
* `./contrib/devtools/gen-manpages.sh`
Tree-SHA512: ca0dc5e97f4c33814d4ccd17769bbf2d23a99a71d62534fe1064fedfe47de3b5c30caf9b6deb0d70bf125e08c7ae6335ac4fcded918049d6b63b13b319d798e3
Diffstat (limited to 'src/leveldb/include')
0 files changed, 0 insertions, 0 deletions