diff options
| author | jcromero <juancarlos.romero@gmail.com> | 2019-05-23 00:08:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-23 00:08:50 +0200 |
| commit | a522ffdc7d43a5bfc94d7cfbca8b93afc4798bc1 (patch) | |
| tree | 0105d7fa956e39ed120606cb0da6be8ff9d61563 /src/Makefile | |
| parent | 809054250a32b6b1f0c416bf820ef807b98b740f (diff) | |
Fix typo in -D and -d options descriptions
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions