diff options
| author | Jason Gross | 2020-03-27 16:50:08 -0400 |
|---|---|---|
| committer | Jason Gross | 2020-03-27 16:50:08 -0400 |
| commit | 28081c1108a84050566d365bd665d05ee508ecce (patch) | |
| tree | 6c6dd426b7d4bfe33b1801e658445cbaf8e4eac0 /proofs/clenv.ml | |
| parent | 974915a91a03199a8151eddf8ffce9a270da2d77 (diff) | |
| parent | a5ef6f5b8c73f59d4dc26754149daddc41cf65f5 (diff) | |
Merge PR #11809: [configure] Remove `-std=c99` from default C flags
Reviewed-by: JasonGross
Ack-by: SkySkimmer
Diffstat (limited to 'proofs/clenv.ml')
0 files changed, 0 insertions, 0 deletions