diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-04-14T11·42+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-04-14T11·42+0200 |
commit | 3872371f25acb9250d34554192196caee855fcb4 (patch) | |
tree | 207e39a7aa44aa7b0c0a79f4b60d5b40eccf3b3b /src/libmain/common-args.cc | |
parent | 01dcdfcf336a127438b35b81751a783cde063ab8 (diff) |
Minor cleanup
Diffstat (limited to 'src/libmain/common-args.cc')
0 files changed, 0 insertions, 0 deletions