diff options
author | Valerij Fredriksen <freva@users.noreply.github.com> | 2019-01-04 15:33:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-04 15:33:40 +0100 |
commit | 8ea7795c01e0830bb9b218cb60759ffc01551f56 (patch) | |
tree | 233d9a7ca08d1d92fda3e1cbba47cabe14107c15 /document | |
parent | 25dae9726666dc3372684a8393a9ad5933990eb6 (diff) | |
parent | 70120cb1035a5b1858dfb02753fd8f743bae6c5c (diff) |
Merge pull request #8015 from vespa-engine/bratseth/add-hw-divergence-metric
Nonfunctional changes only
Diffstat (limited to 'document')
-rwxr-xr-x | document/src/main/javacc/SelectParser.jj | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/document/src/main/javacc/SelectParser.jj b/document/src/main/javacc/SelectParser.jj index 99290370b76..f2b10a2cb71 100755 --- a/document/src/main/javacc/SelectParser.jj +++ b/document/src/main/javacc/SelectParser.jj @@ -1,7 +1,6 @@ // Copyright 2017 Yahoo Holdings. Licensed under the terms of the Apache 2.0 license. See LICENSE in the project root. /** * @author Simon Thoresen Hult - * @version $Id$ */ options { CACHE_TOKENS = true; |