diff options
author | João Valverde <joao.valverde@tecnico.ulisboa.pt> | 2017-09-26 15:04:56 +0100 |
---|---|---|
committer | João Valverde <j@v6e.pt> | 2017-09-26 17:32:08 +0000 |
commit | a269ae1b6a0a65d3e28a4c59487f7fd9b8a5685c (patch) | |
tree | c98d7d852a9c6fef5e05c63059553ce79a08806c /.editorconfig | |
parent | 221a2bcbd0bd9fc04eacbe223f9118cabecccac1 (diff) |
Rename "ws_version_info.h", also .c
It's not installed so like most other files it doesn't need or benefit
from the prefix.
Change-Id: I01517e06f12b3101fee21b68cba3bc6842bbef5c
Reviewed-on: https://code.wireshark.org/review/23751
Petri-Dish: João Valverde <j@v6e.pt>
Tested-by: Petri Dish Buildbot <buildbot-no-reply@wireshark.org>
Reviewed-by: João Valverde <j@v6e.pt>
Diffstat (limited to '.editorconfig')
-rw-r--r-- | .editorconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.editorconfig b/.editorconfig index 4e61cdbb6b..6d83a185fb 100644 --- a/.editorconfig +++ b/.editorconfig @@ -80,6 +80,6 @@ indent_size = tab indent_style = tab indent_size = tab -[ws_version_info.[ch]] +[version_info.[ch]] indent_style = tab indent_size = tab |