mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #628 from ethereum/default_theme

Browse Source 
Default theme
pull/3094/head
yann300 7 years ago committed by GitHub
parent 7e46193b20 6e45721e1e
commit 02aa618565
2 changed files with 5 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 1
      remix-lib/src/ui/style-guide.js
  2. 6
      remix-lib/src/ui/style-guide_metropolis.js

1
remix-lib/src/ui/style-guide.js
View File

File diff suppressed because one or more lines are too long

6
remix-lib/src/ui/style-guide_metropolis.js
View File

File diff suppressed because one or more lines are too long
Write Preview
Loading…
Cancel
Save