Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

No comment #32

Closed
wants to merge 3 commits into from
Closed

No comment #32

wants to merge 3 commits into from

Commits on Nov 27, 2020

  1. OpamPrinter.Preserved: add functions to remove comments, that also re… 

    …moves trailing newlines
    @rjbou
    rjbou committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    e30fbd4 View commit details
    Browse the repository at this point in the history

  2. update changes

    @rjbou
    rjbou committed Nov 27, 2020
    Configuration menu
    Copy the full SHA
    f6903e3 View commit details
    Browse the repository at this point in the history

Commits on Dec 17, 2020

  1. typo 

    Co-authored-by: David Allsopp <david.allsopp@metastack.com>
    @rjbou @dra27
    rjbou and dra27 committed Dec 17, 2020
    Configuration menu
    Copy the full SHA
    4e7e803 View commit details
    Browse the repository at this point in the history