Skip to content
This repository has been archived by the owner on Aug 2, 2020. It is now read-only.

remove superfluous -fno-{ignore, omit}-interface-pragmas #675

Closed
wants to merge 1 commit into from
Closed

remove superfluous -fno-{ignore, omit}-interface-pragmas #675

wants to merge 1 commit into from

Commits on Sep 5, 2018

  1. remove superfluous -fno-{ignore, omit}-interface-pragmas

    @alpmestan
    alpmestan committed Sep 5, 2018
    Configuration menu
    Copy the full SHA
    9185759 View commit details
    Browse the repository at this point in the history