diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-22 04:06:38 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-22 04:06:38 +0000 |
| commit | 5fb2a51bafbef91ced2f72267b6e7dde69c474b9 (patch) | |
| tree | 0e285df506a14dc66fcba7838cf243e4aa1691d5 /reproduce/src/bash/git-pre-commit | |
| parent | 8aee1fd032bbfcee3ef0618f683723d119850da0 (diff) | |
Not checking metastore's version temporarily
Until we see what happens with the pull request of our suggested features
in metastore, its version isn't written directly into the executable, so we
won't actually check it, but write the version directly into the paper.
Diffstat (limited to 'reproduce/src/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions