Updated Tools.mediawiki (mediawiki)

Anonymous commited 2021-04-30 07:40:53 +0000 commit f863434161b0466c4c157eb2626d1e97481a6396

				Tools.mediawiki
			
          @@ -22,6 +22,7 @@ Tools that allow simultaneous editing

           * [[https://godbolt.org/|Compiler Explorer]]

           * [[https://regex101.com/|Regex Explorer/IDE]]

           * [[https://eeyo.io/iro/|IRO]] (Syntax Highlighting Creator)

          +* [[https://r12a.github.io/app-conversion/|Unicode code converter]] (Unicode Decoder/Encoder)

           == Design ==

           * [[https://xkcd.com/1205/|Is it worth the time?]] (Time Optimization Table)

...	...	@@ -22,6 +22,7 @@ Tools that allow simultaneous editing
22	22	* [[https://godbolt.org/\|Compiler Explorer]]
23	23	* [[https://regex101.com/\|Regex Explorer/IDE]]
24	24	* [[https://eeyo.io/iro/\|IRO]] (Syntax Highlighting Creator)
	25	+* [[https://r12a.github.io/app-conversion/\|Unicode code converter]] (Unicode Decoder/Encoder)
25	26
26	27	== Design ==
27	28	* [[https://xkcd.com/1205/\|Is it worth the time?]] (Time Optimization Table)