| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-01-07 | package-source.bash: also create source-only tarball | Jakob Unterwurzacher | |
| We used to only create a source + dependecies tarball, but having a source-only tarball makes packaging deb/rpm easier. | |||
| 2017-11-01 | package-source.bash: replace plus sign in file name | Jakob Unterwurzacher | |
| Plus signs are apparently not supported on github, and replaced by a dot. | |||
| 2017-11-01 | package-source.bash: create VERSION filev1.4.2 | Jakob Unterwurzacher | |
| ...and delete if after packaging is done. | |||
| 2017-11-01 | Add source packaging script | Jakob Unterwurzacher | |
