diff editor.css @ 114:f2b435509301

Work around desugaring of && and || in editor.
author Mike Pavone <pavone@retrodev.com>
date Mon, 15 Apr 2013 09:34:32 -0700
parents c0bfff39abe3
children 9cf3e0b18ecc
line wrap: on
line diff