Martin Dvorak 9f1d9bbf99 Getting ready for 1.25 release.		2018-05-06 19:32:32 +02:00
..
debian	Debian: polishing various config files + DEB build script (blank license, changelog format, change line format issues remains).	2015-09-10 10:13:58 +02:00
1-dist.sh	Fixing source for Win detection in bug #164.	2017-06-04 09:38:49 +02:00
2-debian-build-deb.sh	Removing developer files on DEB build (not needed in the distro).	2015-09-17 19:22:13 +02:00
3-debian-push-mentors.sh	Debian: polishing various config files + DEB build script (blank license, changelog format, change line format issues remains).	2015-09-10 10:13:58 +02:00
clean.sh	release/ > dist/	2013-12-26 01:05:38 +01:00
debian-env.sh	Getting ready for 1.25 release.	2018-05-06 19:32:32 +02:00
debian-make-distro.sh	Removing developer files on DEB build (not needed in the distro).	2015-09-17 19:22:13 +02:00
github-env.sh	Getting ready for 1.25 release.	2018-05-06 19:32:32 +02:00
github-release.sh	Getting ready for Yakkety 1.21 release.	2016-10-22 11:46:04 +02:00
ubuntu-add-new-distro-base.sh	Getting ready for 1.25 release.	2018-05-06 19:32:32 +02:00
ubuntu-make-all-distros.sh	Getting ready for 1.25 release.	2018-05-06 19:32:32 +02:00
ubuntu-make-distro.sh	Ubuntu release: start GPG agent if not running.	2018-04-27 16:52:58 +02:00
ubuntu-refresh-all-pbuilder.sh	Stabilizing release scripts: binary release fixed w/ automake detection; hh source code fixed to be strictly OK; launchpad release still broken (added just /tmp building to workaround pbuilder-dist hard link defect).	2015-01-08 12:07:06 +01:00
ubuntu-sync-scripts.sh	Adding ubuntu release script sync.	2016-10-22 11:46:04 +02:00
upload-to-mentors.sh	Adding Debian build scripts and configuration (separated from Ubuntu bits).	2014-01-25 23:05:30 +01:00