diff options
| author | Michael Davis | 2022-03-29 05:34:19 +0000 |
|---|---|---|
| committer | GitHub | 2022-03-29 05:34:19 +0000 |
| commit | 838cfcc7cd7958a5e75a94041ce2d6b5495eab5a (patch) | |
| tree | 8fc51b3798988f6a6a91281f477ba0e0da001561 /VERSION | |
| parent | 6e7c287371d68325cafb5eed3e3fdbe452478128 (diff) | |
publish a source tarball with version and grammars (#1875)
* publish a source tarball with version and grammars
* include_str! the release version from a VERSION file
* remove setting of .version file from tag
don't need this anymore since the file is checked into source
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 00000000..24b26747 --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +22.03
\ No newline at end of file |