diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-07-23 09:42:34 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-07-23 09:42:34 -0400 |
| commit | 0bc9d7facc993ec06319a6880d12bdfe54cff215 (patch) | |
| tree | edc610cada8154ab1aed428999181eaab5605d64 /demo | |
| parent | 383fa383fa5bf010b89d17bb61a84f675fb16fb6 (diff) | |
Stop using -fno-inline by default
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions