Skip to content
Snippets Groups Projects

Get rid of the awk.Makefile references

Merged Get rid of the awk.Makefile references
dfrumin/coq-stdpp:master into master
Merged Dan Frumin requested to merge dfrumin/coq-stdpp:master into master

Doesn't seem that its necessary

Merge request reports

Pipeline #13412 failed

Stage: build

    Pipeline failed for a7d2b180 on dfrumin:master

    Approval is optional

    Merged by Ralf JungRalf Jung 6 years ago (Dec 15, 2018 12:01pm UTC)

    Merge details

    • Changes merged into master with 020f31f4.
    • Did not delete the source branch.

    Pipeline #13413 passed

    Stage: build

      Pipeline passed for 020f31f4 on master

      Activity

      Filter activity
      • Approvals
      • Assignees & reviewers
      • Comments (from bots)
      • Comments (from users)
      • Commits & branches
      • Edits
      • Labels
      • Lock status
      • Mentions
      • Merge request status
      • Tracking
      Please register or sign in to reply