Skip to content
  • Ralf Jung's avatar
    Makefile attribution · 68b961a8
    Ralf Jung authored
    I talked with Christian, he is not the original author and forgot where it came
    from, probably some coq-club mail.
    68b961a8