diff options
| author | Xavi Del Campo <xavi.dcr@tutanota.com> | 2019-11-05 17:56:35 +0100 |
|---|---|---|
| committer | Xavi Del Campo <xavi.dcr@tutanota.com> | 2019-11-05 17:56:35 +0100 |
| commit | e524f157266c07a7a4cf3b766edd6ff9db98e4f4 (patch) | |
| tree | 3dcbf507b5ec87d297f833df79cb532c3844032f /.version | |
| parent | 1dcefbf527e52315abfe3b4871272b3fd9bb0f4b (diff) | |
Removed intermediate files
Diffstat (limited to '.version')
| -rw-r--r-- | .version | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.version b/.version new file mode 100644 index 0000000..820476a --- /dev/null +++ b/.version @@ -0,0 +1 @@ +3.9.3 |