GitHub - PadreIDE/tools: tools is a Padre repository

Name		Name	Last commit message	Last commit date
Latest commit History 224 Commits
portable_strawberry		portable_strawberry
.travis.yml		.travis.yml
actions_list.pl		actions_list.pl
build_all.pl		build_all.pl
build_exe.pl		build_exe.pl
check_translations.pl		check_translations.pl
create_images.pl		create_images.pl
env.pl.bat		env.pl.bat
gen-padre-modules-feed.pl		gen-padre-modules-feed.pl
include_parrot.pl		include_parrot.pl
padre.bat		padre.bat
padre_on_strawberry_release_notes.txt		padre_on_strawberry_release_notes.txt
padre_paste.pl		padre_paste.pl
perltidyrc		perltidyrc
po_stats.pl		po_stats.pl
pvn		pvn
release.pl		release.pl
set_year_in_copyright.pl		set_year_in_copyright.pl
setup_padre.pl.bat		setup_padre.pl.bat
smoke.pl		smoke.pl
smolder_smoke_signal		smolder_smoke_signal
svn_grep.pl		svn_grep.pl
tidy_project.pl		tidy_project.pl
update_perlopquick.pl		update_perlopquick.pl
update_pot_file.pl		update_pot_file.pl
update_version_number.pl		update_version_number.pl