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 /utils/Makefile | |
parent | 809054250a32b6b1f0c416bf820ef807b98b740f (diff) |
Fix typo in -D and -d options descriptions
Diffstat (limited to 'utils/Makefile')
0 files changed, 0 insertions, 0 deletions