diff options
| author | Michael Niedermayer <michaelni@gmx.at> | 2014-07-28 04:22:11 +0400 |
|---|---|---|
| committer | Michael Niedermayer <michaelni@gmx.at> | 2014-08-19 05:16:11 +0400 |
| commit | 59b2a9ef957ec796ccf457aad263a52bc457b610 (patch) | |
| tree | 57a1bfabb650d633aeaaf5ea75b0bf1abe1002be | |
| parent | 4ce6d65b6fbe6f6482da3bdd3d396a43dd2e31af (diff) | |
remove VERSION file
it overrides what version.sh prints and thus makes its output
from release branches rather useless
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
(cherry picked from commit 2f71aeb30161edb5cb0fea5d3080094a22cc3038)
Conflicts:
VERSION
(cherry picked from commit f543d32455a30c7e11206241184dfb16b8a8081c)
Conflicts:
VERSION
| -rw-r--r-- | VERSION | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/VERSION b/VERSION deleted file mode 100644 index c04c650a7a..0000000000 --- a/VERSION +++ /dev/null @@ -1 +0,0 @@ -1.2.7 |