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 /docs | |
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 'docs')
0 files changed, 0 insertions, 0 deletions