extra winfix for frama-c-base.20151002

fdopen / opam-repository-mingw

windows package repository for OPAM (mingw and msvc)

Creative Commons Zero v1.0 Universal

96 stars 34 forks source link

Closed maroneze closed 8 years ago

maroneze commented 8 years ago

This should be the last fix before the next Frama-C release, which will hopefully contain fewer Windows-specific patches.

fdopen commented 8 years ago

thanks, merged.