diff options
author | Henning Baldersheim <balder@yahoo-inc.com> | 2018-11-05 11:43:59 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-05 11:43:59 +0100 |
commit | bc8fa8416508d32c6aba6d8294f9ac10bd9f4eca (patch) | |
tree | 1e490970d4f12288e6e1529c5cfc86c0a82fc5c6 /vagrant | |
parent | 79f8fed7aa6bb976822c0215804029b8cc69ae4c (diff) | |
parent | 7bb00d475b5a5f5f4a2be900fee093965549590e (diff) |
Merge pull request #7563 from vespa-engine/arnej/fix-logfiledb-filename
go back to old way of computing filename
Diffstat (limited to 'vagrant')
0 files changed, 0 insertions, 0 deletions