Browse Source

Restore file permissions in git

bel2125 8 years ago
parent
commit
13c406cb5f
2 changed files with 0 additions and 0 deletions
  1. 0 0
      format.bat
  2. 0 0
      resources/coverity_check.sh

+ 0 - 0
format.bat


+ 0 - 0
resources/coverity_check.sh