Wmconfig is a text-based menu generation tool for
various X window managers for desktops. Toolkits
like Qt or Gtk are not required. It uses a simple
configuration layout and the configuration may be
edited with a text editor.
Wrong upload for V1.2.4
Fixed the wrong upload for V1.2.4.
A tool for securing DNS communications between a client and a DNS resolver.
A polyhedral extraction tool (PET).