#691224 notion: ion3-scripts hasn't been migrated to notion-script

Package:
notion
Source:
notion
Description:
tiling tabbed window manager designed for keyboard users
Submitter:
Dima Kogan
Date:
2012-10-25 08:15:03 UTC
Severity:
normal