remove unused gtk resources

Ignore-this: 2d162e76c95d6e7767dd94a7bbf1e837

darcs-hash:20120226182802-c41ad-43f5d83ab74709db2cb11f72da6a2beede2deadf
This commit is contained in:
Jeremie Dimino 2012-02-26 19:28:02 +01:00
parent 5be22e37eb
commit 9e1ca8d41f
2 changed files with 0 additions and 12 deletions

View File

@ -18,9 +18,3 @@ quotation.foreground: x-purple
error.foreground: red error.foreground: red
directive.foreground: x-lightsteelblue directive.foreground: x-lightsteelblue
parenthesis.background: blue parenthesis.background: blue
! GTK resources
font: Monospace
foreground: #5fbf77
background: black

View File

@ -18,9 +18,3 @@ quotation.foreground: x-purple
error.foreground: red error.foreground: red
directive.foreground: x-mediumorchid4 directive.foreground: x-mediumorchid4
parenthesis.background: light-blue parenthesis.background: light-blue
! GTK resources
font: Monospace
foreground: black
background: white