diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2018-09-02 20:18:06 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-02 20:18:06 -0400 |
commit | fe05947bf2f4b6f5090c80f85424ebd09a320444 (patch) | |
tree | e4a8a9b3c751fb00ddccd074e0286872e6a11960 /demo/css.urs | |
parent | 6e5411868b03ef8f18a0c25ef23f485f0de4e233 (diff) | |
parent | d1dcdbad6fa310c83aac551e952d752e7d2921ce (diff) |
Merge pull request #140 from ashalkhakov/flycheck
FlyCheck integration.
Diffstat (limited to 'demo/css.urs')
0 files changed, 0 insertions, 0 deletions