diff options
| author | Frans Kaashoek | 2018-08-30 13:14:01 -0400 |
|---|---|---|
| committer | Frans Kaashoek | 2018-08-30 13:14:01 -0400 |
| commit | 210a0f0b30eb1af49b6ed42339b1fcc8582ba653 (patch) | |
| tree | a24d804200e1a800ed5c0dcb540ea3936bd9f14d /Makefile | |
| parent | b2ca8e3e23e583991b4d8285be6569fb0dcf2495 (diff) | |
Remove unused flags (thanks Wolfgang Keller)
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions