Index of /usr/share/tools/

../
discover-updater.pl                                09-Jan-2022 09:27                1936
lst2xml                                            09-Jan-2022 09:27               10120
merge-lst-to-xml                                   09-Jan-2022 09:27                8521
mkshorthwlist                                      09-Jan-2022 09:27                 351
reduce-xml                                         09-Jan-2022 09:27               11808
trim26lst                                          09-Jan-2022 09:27                 159
xml2lst                                            09-Jan-2022 09:27                9024