Skip to content

ENH: quickly reinstall previously installed extensions v3

Sam Horvath requested to merge github/fork/hmeine/extension_restore into master

Created by: hmeine

This is a successor of #698 (since I cannot push to @mneugeba's branch directly).

In addition to that PR, this fixes compilation on Unix, adds translation features and some UI polish.

Merge request reports