WPTools         2.5         OS/2         Utilities für den erfahrenen Anwender zum Sichern der WPS und der Systemdateien sowie zum Entfernen überflüssiger INI-Einträge. Freeware       \filesbbs\os2\wptool25.arj