Commit Graph

Select branches

Hide Pull Requests

master

#1

#10

#11

#13

#13

#15

#16

#19

#19

#2

#21

#21

#27

#27

#28

#28

#3

#3

#30

#31

#4

#5

#8

#9

Mono Color

• d1fa89bd36 Merge pull request #31 from micro-editor/pipe-to-shell master Jöran KarlandGitHub 2026-01-24 19:00:33 +01:00
• 1225fb6d63 index: Slightly adjusted star link and installation instructions Jöran Karl 2026-01-23 20:51:14 +01:00
• c6930cc67a index: Flag the "pipe to shell" installation method as third party Jöran Karl 2026-01-23 20:40:45 +01:00
• 20e0340f51 Change zyedidia/micro to micro-editor/micro (#30) Jöran KarlandGitHub 2026-01-21 21:01:32 +01:00
• fd2322733b Remove ga function Zachary Yedidia 2025-01-01 17:50:34 -05:00
• 1abe9c01d9 Merge Zachary Yedidia 2020-06-24 13:30:07 -04:00
• 4e2fe66087 Update FAQ Zachary Yedidia 2020-06-24 13:30:01 -04:00
• 3aec380099 Compress images Zachary Yedidia 2020-02-11 16:30:08 -05:00
• 1a3889b25b Update screenshots Zachary Yedidia 2020-02-10 23:48:51 -05:00
• 157ee27b6a Fix plugin install command Zachary Yedidia 2020-02-10 14:51:34 -05:00
• 615e9c431b Improve plugin page Zachary Yedidia 2020-02-10 14:26:51 -05:00
• f0ab3d3e8c Improve favicon resolution Zachary Yedidia 2020-02-08 21:24:16 -05:00
• 745d778b20 Add getmic.ro to frontpage Zachary Yedidia 2020-02-02 17:04:45 -05:00
• bdb5ac6413 Merge pull request #5 from mathieu-aubin/master Zachary YedidiaandGitHub 2019-12-19 10:29:54 -05:00
• b361dd9d2b Merge pull request #10 from jackwilsdon/direct-download-link Zachary YedidiaandGitHub 2018-09-28 20:26:58 -04:00
• 2e13811f95 Change download button to use href instead of JS Jack Wilsdon 2018-09-29 01:19:58 +01:00
• 043fd15ddd Merge pull request #9 from sum01/fix-deprecated Zachary YedidiaandGitHub 2018-03-04 16:18:10 -05:00
• f5fd51c387 Merge pull request #8 from sum01/fix-issue-7 Zachary YedidiaandGitHub 2018-03-04 16:17:50 -05:00
• 82547af7bc Fix deprecated Github star button sum01 2018-03-04 15:21:28 -05:00
• 40805d8315 Change plugin page to work with multiple versions, and more sum01 2018-03-04 15:15:31 -05:00
• d889d2a8fd raster compression Mathieu 2018-02-23 19:23:54 +01:00
• 22df8f7c20 Update website Zachary Yedidia 2018-01-04 17:49:50 -05:00
• a93b195540 updated formatting (#4) Youngbin HanandZachary Yedidia 2017-12-03 02:34:55 +09:00
• ff7c8ca6a3 Merge pull request #2 from sonicdoe/github-spelling Zachary YedidiaandGitHub 2017-10-08 14:51:38 -04:00
• 67769a661b Fix spelling of “GitHub” Jakob Krigovsky 2017-10-08 15:28:52 +02:00
• 1de8864f21 Support Safari for plugin page Zachary Yedidia 2016-12-14 20:48:05 -05:00
• 5f9435422e Some UI improvements to plugin page Zachary Yedidia 2016-12-13 14:58:07 -05:00
• 491f0f5730 Merge pull request #1 from sukso96100/master Zachary YedidiaandGitHub 2016-12-13 14:57:20 -05:00
• 07a160f4a2 Added Plugins Pags sukso96100 2016-12-14 02:04:12 +09:00
• 44ae154b48 Github no longer thinks I'm a bot Zachary Yedidia 2016-10-23 08:52:55 -04:00
• 8795e3a016 Add update about how github thinks I'm a bot Zachary Yedidia 2016-10-22 19:45:13 -04:00
• 7f2e7405e0 Update readme Zachary Yedidia 2016-10-21 11:00:36 -04:00
• 47aee0b941 Make logo link to home page Zachary Yedidia 2016-10-20 18:33:42 -04:00
• b8cfd4b75e Merge Zachary Yedidia 2016-10-19 12:30:53 -04:00
• 979ae74de3 Update column sizes Zachary Yedidia 2016-10-19 12:30:49 -04:00
• da9ce026d8 Remove platform.js Zachary Yedidia 2016-10-18 21:41:18 -04:00
• 7e75cc50c8 Update titles Zachary Yedidia 2016-10-18 21:37:11 -04:00
• 05feccd5ee Add title to main page Zachary Yedidia 2016-10-18 21:14:40 -04:00
• 6724c9bcc4 Update Zachary Yedidia 2016-10-18 16:07:32 -04:00
• 6158e0f3a2 Add analytics Zachary Yedidia 2016-10-18 15:59:14 -04:00
• 4a0f38374c Make navbar responsive Zachary Yedidia 2016-10-18 15:53:39 -04:00
• 9f10a64cfe Add logos Zachary Yedidia 2016-10-17 21:26:02 -04:00
• d037cce609 Add about.html page Zachary Yedidia 2016-10-17 20:54:50 -04:00
• f895018394 Rephrase some features Zachary Yedidia 2016-10-17 10:03:43 -04:00
• 1b349df369 Initial commit Zachary Yedidia 2016-10-16 21:26:35 -04:00