Micro editor releases
PPA description
Micro is a terminal-based text editor that aims to be easy to use and intuitive, while also taking advantage of the full capabilities of modern terminals. This PPA published the tagged releases. It is not managed by the Micro developers.
Adding this PPA to your system
This PPA does not contain any packages yet. Find more information about how to upload packages in the PPA help page.
PPA statistics
- Activity
- 0 updates added during the past month.