diff options
| author | Enrico | 2016-08-25 17:59:17 +0200 |
|---|---|---|
| committer | GitHub | 2016-08-25 17:59:17 +0200 |
| commit | 544304507548ac889c2982306f54a27742527ef5 (patch) | |
| tree | ea69b97a378597bd7de7a33d16e8250dcbd11177 /docs/stylesheets/github-light.css | |
| parent | 3a17aed49fc44439636709dad46c3ffa736ffec5 (diff) | |
| parent | 76794e738bc9c2f9e26dfafab94ccfac39ce50de (diff) | |
Merge pull request #59 from matej-kosik/master
FIX: adding missing version of the ssreflect plugin that compiles with Coq 8.6
Diffstat (limited to 'docs/stylesheets/github-light.css')
0 files changed, 0 insertions, 0 deletions