diff options
| author | Joas Schilling <coding@schilljs.com> | 2017-02-10 16:25:25 +0300 |
|---|---|---|
| committer | Joas Schilling <coding@schilljs.com> | 2017-02-10 16:25:25 +0300 |
| commit | ade91c8fe2e9230dea62cbf47a19cd5907646864 (patch) | |
| tree | 2245f2e18b8dbcb18a6356a7c94c35c52f1e642f /version.php | |
| parent | b4ade766656a2032f33d56eb4a0f17bb128af722 (diff) | |
Recognize .bat and .cmd files
Signed-off-by: Joas Schilling <coding@schilljs.com>
Diffstat (limited to 'version.php')
| -rw-r--r-- | version.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/version.php b/version.php index 3d8abb5f2f4..a556a9f7299 100644 --- a/version.php +++ b/version.php @@ -26,7 +26,7 @@ // between betas, final and RCs. This is _not_ the public version number. Reset minor/patchlevel // when updating major/minor version number. -$OC_Version = array(12, 0, 0, 12); +$OC_Version = array(12, 0, 0, 13); // The human readable string $OC_VersionString = '12.0 alpha'; |