eric: File revisions

scripts/uninstall-server.py

Fri, 14 Jun 2024 10:57:32 +0200

Detlev Offenbach

Added scripts to install or uninstall the eric-ide server from sources. server

file | diff | annotate

(0) tip