Skip to content

GitLab

Commit 6b837bc4 authored by Ralf Jung's avatar Ralf Jung
Browse files
Options

avoid newline in quoted text

parent fc48a580
Pipeline #4592 passed with stage
    in 14 minutes and 15 seconds
    Hide whitespace changes
    Inline Side-by-side
    Showing with 2 additions and 2 deletions
    README.md
    View file @ 6b837bc4
    ......@@ -22,8 +22,8 @@ of the dependencies.
    ## Updating
    After doing `git pull`, the development may fail to compile because of outdated
    dependencies. To fix that, please run `opam update` followed by `make
    build-dep`.
    dependencies. To fix that, please run `opam update` followed by
    `make build-dep`.
    ## Building Instructions
    ......
    Markdown is supported
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment