mirror of
https://github.com/nasa/trick.git
synced 2025-02-10 12:41:21 +00:00
ff9bfcc6f1
Removed --std=c++11 from makefiles and where it would be added to generated makefiles.