diff options
| author | Adelyn Breelove <[email protected]> | 2019-01-18 11:13:58 -0700 |
|---|---|---|
| committer | Adelyn Breelove <[email protected]> | 2019-01-18 11:13:58 -0700 |
| commit | b5bb07d5c0af81c43b15493b6698749f197c31bb (patch) | |
| tree | 6e5661b7aef316d1e6a7bd25ca30febbdb62224a /docs/odoc.css | |
| parent | GitHub needs to named /docs not /doc (diff) | |
| download | disml-b5bb07d5c0af81c43b15493b6698749f197c31bb.tar.xz disml-b5bb07d5c0af81c43b15493b6698749f197c31bb.zip | |
fix doc link in opam
Diffstat (limited to 'docs/odoc.css')
0 files changed, 0 insertions, 0 deletions