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

Add parse_infos to options, use it for "parsed file" message #347

Merged
merged 1 commit into from Jun 16, 2015
Merged

Add parse_infos to options, use it for "parsed file" message #347

merged 1 commit into from Jun 16, 2015

Commits on Jan 20, 2014

  1. Add parse_infos to options, use it for "parsed file" message 

    This adds a new parse_infos besides parse_warnings, and uses it for the
'Included extra file "%s" during parsing' info.

Fixes Supervisor#272
    @blueyed
    blueyed committed Jan 20, 2014
    Configuration menu
    Copy the full SHA
    bf699a7 View commit details
    Browse the repository at this point in the history