Code

fix Mkdocs edit button#1642

Code

Merged

Ralim merged 19 commits intoRalim:devRalim/IronOS:devfrom River-Mochi:devRiver-Mochi/IronOS:devCopy head branch name to clipboardApr 4, 2023

+28-3

Commits

Commits on Apr 2, 2023

• fix: edit button mkdocs

  River-Mochi

  authored
  0807895

• fix: edit button on mkdocs

  Show description for fefbea0
  River-Mochi

  authored
  fefbea0

Commits on Apr 3, 2023

• add favicons for the mkdocs

  River-Mochi

  authored
  cc80af1

• Delete android-chrome-192x192.png

  River-Mochi

  authored
  5aceb19

• Delete android-chrome-512x512.png

  River-Mochi

  authored
  c4d4f2d

• Delete favicon-16x16.png

  River-Mochi

  authored
  5d78ae0

• Delete favicon.ico

  River-Mochi

  authored
  8dad976

• Delete favicon-32x32.png

  River-Mochi

  authored
  2b00347

• Delete apple-touch-icon.png

  River-Mochi

  authored
  51e46fd

• Create temp

  River-Mochi

  authored
  fc2cdaf

• add favicon for mkdocs

  River-Mochi

  authored
  ca8dff7

• mkdocs - highlighting for source code

  Show description for 0d68a00
  River-Mochi

  authored
  0d68a00

• Delete temp

  River-Mochi

  authored
  f786c74

• Add files via upload

  River-Mochi

  authored
  c996173

Commits on Apr 4, 2023

• organize mkdocs

  River-Mochi

  authored
  88d9486

• add mkdocs extensions & plugins

  River-Mochi

  authored
  10dc412

• remove favicon

  River-Mochi

  authored
  b23d671

• Delete favicon.ico

  River-Mochi

  authored
  09b8a2a

• Delete font-license.txt

  River-Mochi

  authored
  9dd331a