Stan 3da24fbb89 Remove some progress bar duplication ... This was SVN commit r21066.		2018-01-29 12:38:49 +00:00
..
config	Use Tab and Shift+Tab as the default hotkey to switch tabs.	2018-01-22 05:06:52 +00:00
l10n	Add a script to lint the translations with Dennis.	2017-05-27 12:26:26 +00:00
mods	Remove some progress bar duplication	2018-01-29 12:38:49 +00:00
tests	Implement TS_ASSERT_NUMBER as a future precaution of the integer epsilon slip in 30fe33bb0b.	2018-01-29 11:55:43 +00:00
tools	Add help button to Atlas with a link to the Manual and bugtracker.	2017-08-21 23:32:29 +00:00