diff options
author | Junegunn Choi <junegunn.c@gmail.com> | 2015-09-15 19:04:53 +0900 |
---|---|---|
committer | Junegunn Choi <junegunn.c@gmail.com> | 2015-09-15 19:04:53 +0900 |
commit | 2022a3ad96f027e056e4fcce11fee0976db657d1 (patch) | |
tree | ea0d8c2f34c38577b994971c7a186760223210c9 /plugin | |
parent | 65d9d416b4300e85304fd158d9df2f6272590849 (diff) |
Replace --header-file with --header (#346)
and allow using --header and --header-lines at the same time.
Close #346.
Diffstat (limited to 'plugin')
0 files changed, 0 insertions, 0 deletions