Index of /tools

 NameLast modifiedSizeDescription

 Parent Directory   -  
 update_all.pl 2017-06-18 20:33 491  
 translation_summary.pl 2019-03-15 19:23 1.0K 
 summary.txt 2019-03-15 19:23 2.4K 
 convert_passwords.php 2018-11-21 20:40 2.7K 
 check_translation.pl 2018-11-21 20:40 3.1K 
 upgrade_to_0.9.7.pl 2017-06-18 20:33 5.8K 
 reload_remotes.php 2018-11-21 20:40 6.7K 
 update_translation.pl 2018-11-21 20:40 10K 
 palm_datebook.pl 2017-06-18 20:33 17K 
 send_reminders.php 2018-11-21 20:40 23K