diff options
| author | Matěj G | 2018-09-07 18:21:20 +0200 |
|---|---|---|
| committer | GitHub | 2018-09-07 18:21:20 +0200 |
| commit | 6d85d5e825f19f3e2103273648d8c7976d115ec9 (patch) | |
| tree | 251e173f2f776eb6f137067b4fb0dd575a14fe07 /doc/common/styles/html/coqremote/modules/node/node.css | |
| parent | 52e3760d7803d38a6af7bbc7606440167e5c409a (diff) | |
Recover lost snippet
This snippet on pattern matching got lost in the process of migrating to Sphynx.
Diffstat (limited to 'doc/common/styles/html/coqremote/modules/node/node.css')
0 files changed, 0 insertions, 0 deletions