Index of /draci-historie/src/scripts

	Name	Last modified	Size	Description
	Parent Directory		-
	extract-gate-programs.py	2020-12-06 06:10	1.1K
	renumber_buf.py	2012-07-07 04:50	3.0K
	fix-titles.py	2012-06-04 08:55	3.8K
	draci_charsets.py	2012-06-04 08:55	2.8K
	compare-scripts.sh	2012-06-04 08:55	1.2K
	max-line-length.py	2012-01-09 06:04	486
	recode-scripts-to-utf-8.py	2010-08-19 05:58	2.4K
	prune-sources.py	2010-08-19 05:58	6.7K
	fix-width.py	2010-08-19 05:58	4.0K
	fix-translation.py	2010-08-19 05:58	7.7K
	draci_strings_extract.py	2010-08-19 05:58	2.7K
	draci_strings_build.py	2010-08-19 05:58	2.7K
	compress-dubbing.sh	2010-08-08 03:31	1.7K
	bp7-comp.bat	2010-08-08 03:31	741
	renames-units.txt	2009-06-18 01:03	4.8K
	renames-player.txt	2009-06-18 01:03	735
	rename_identifiers.py	2009-06-18 01:03	2.2K
	find-dups.pl	2009-06-18 01:03	332