Vilém Zouhar
191438b481
add new logo with white shadow, change readme title logo ( #2497 )
2022-07-17 12:16:27 -07:00
Hugo Hromic
0bbc3e7e3d
Add support for alternatives system in Debian package ( #1935 )
...
* Allows for micro to be selectable in the `editor` group
* Use same priority as in the nano package
Ref: https://wiki.debian.org/DebianAlternatives
2021-11-17 15:51:40 -08:00
Zachary Yedidia
2caff00ce1
Add micro icon and desktop file to release zips
...
Closes #1765
2020-07-09 13:26:12 -04:00
Ján Priner
51444765f4
Update micro.desktop ( #1759 )
2020-07-06 17:55:13 -04:00
Zachary Yedidia
0283155305
Improve packaging
...
Slight improvements to the man page, and the man page is now
provided in prebuilt binary tarballs. Also a .deb file is now
provided as an asset along with prebuilt binary tarballs.
2020-07-06 03:13:02 +00:00
Zachary Yedidia
47ed7447f1
Update screenshot
2020-02-11 16:30:58 -05:00
Zachary Yedidia
a938917b9b
Fetch tags if none are found
2020-02-11 14:14:34 -05:00
Zachary Yedidia
9fd5b133ea
Add svg logo
2020-02-10 22:40:16 -05:00
Zachary Yedidia
00205aa6a7
Update readme
2020-02-10 00:38:57 -05:00
Rein F
b7a54fa74a
updated man page ( #1492 )
2020-02-09 21:53:42 -05:00
Mathieu
1c2fd30cab
raster compression
2018-02-23 19:30:28 +01:00
Zachary Yedidia
f48116801b
Improve man page
2018-01-29 20:36:18 -05:00
GeigerCounter
45992a0e0a
Fixed mistake in desktop file
2017-03-29 08:39:50 -04:00
GeigerCounter
e23d4d8fa1
Added scalable logo for packaging.
2017-03-29 05:36:09 -05:00
GeigerCounter
7bc870e72f
Added a desktop specification. ( micro.desktop )
2017-03-28 13:39:47 -04:00
GeigerCounter
edee53f6f2
Added rpm build script ( Untested. )
2017-03-28 13:37:41 -04:00
Zachary Yedidia
5e51451d89
Add logo and update screenshot
2016-08-26 14:46:34 -04:00