non port: editors/micro/distinfo |
Number of commits found: 14 |
Wednesday, 15 Nov 2023
|
20:48 Lewis Cook (lcook)
editors/micro: Update to 2.0.13
Changes: https://github.com/zyedidia/micro/releases/tag/v2.0.13
17abd2a9 |
Sunday, 17 Sep 2023
|
13:40 Lewis Cook (lcook)
editors/micro: 2.0.12
Changes: https://github.com/zyedidia/micro/releases/tag/v2.0.12
079bd93 |
Saturday, 3 Jun 2023
|
07:26 Lewis Cook (lcook)
editors/micro: Switch to GO_MODULE
987561d |
Sunday, 28 Aug 2022
|
00:33 Lewis Cook (lcook)
editors/micro: Update to v2.0.11
Changes: https://github.com/zyedidia/micro/releases/tag/v2.0.11
95df734 |
Sunday, 8 Aug 2021
|
19:01 Lewis Cook (lcook)
editors/micro: Update to 2.0.10
Changes: https://github.com/zyedidia/micro/releases/tag/v2.0.10
83f8ab6 |
Saturday, 22 May 2021
|
19:10 Lewis Cook (lcook)
editors/micro: Fix distinfo
ccf0928 |
Friday, 21 May 2021
|
23:44 Lewis Cook (lcook)
editors/micro: Update to 2.0.9
Changes: https://github.com/zyedidia/micro/releases/tag/v2.0.9
3129d48 |
Wednesday, 7 Oct 2020
|
11:36 lbartoletti
editors/micro: Update to 2.0.8
PR: 250175
Submitted by: Lewis Cook (maintainer)
|
Sunday, 20 Sep 2020
|
00:52 yuri
editors/micro: Update 2.0.6 -> 2.0.7
PR: 249209
Submitted by: vulcan@wired.sh (maintainer)
|
Friday, 26 Jun 2020
|
16:57 swills
editors/micro: update to 2.0.6
PR: 247536
Submitted by: mikael
|
Thursday, 25 Jun 2020
|
03:23 swills
editors/micro: update to 2.0.4
PR: 247099
Submitted by: rlwestlund@gmail.com
|
Monday, 27 Aug 2018
|
17:43 swills
editors/micro: Update to 1.4.1
PR: 230953
Submitted by: Dmitri Goutnik <dg@syrec.org>
|
Saturday, 7 Apr 2018
|
04:03 swills
editors/micro: update to 1.4.0
|
Monday, 27 Feb 2017
|
22:23 swills
editors/micro: create port
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.
WWW: https://micro-editor.github.io/
|
Number of commits found: 14 |