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/7/head
yann300 7 years ago committed by GitHub
parent d80a379ee4 7172fc530b
commit 48fe4418d8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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