diff options
| author | Michael Forney <mforney@mforney.org> | 2016-10-12 09:42:27 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-10-12 09:42:27 -0700 |
| commit | 81e80d78f9e911810ce690d35dae47d29f4e1b82 (patch) | |
| tree | e1ac67045476fd78f03751b318ceff9de47cb5c9 /core/git | |
| parent | 15b36a6eb4457ab1403222840c2d25632412ec4f (diff) | |
Rename .rev to rev
Even though it is not generally useful, it is easy to forget to update if it is
hidden.
Diffstat (limited to 'core/git')
| -rw-r--r-- | core/git/rev (renamed from core/git/.rev) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/core/git/.rev b/core/git/rev index b8626c4c..b8626c4c 100644 --- a/core/git/.rev +++ b/core/git/rev |