diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-01-12 21:39:40 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2021-01-12 21:40:46 +0100 |
| commit | 3333b58a7f115aeb4a7917138bafc6974fa1559b (patch) | |
| tree | bbccf18f98156ae6eb4e7ab7b2c20cccef8ad637 /modules/gridmap | |
| parent | 2e7890197a7930ac647d03245e3991740708dcdc (diff) | |
Check for clang-format version in the pre-commit hook
Different clang-format versions may result in different formatting.
Therefore, it's recommended to use the same version as used in CI.
Diffstat (limited to 'modules/gridmap')
0 files changed, 0 insertions, 0 deletions