Browse Source

chore: make zip-symbols executable

Samuel Attard 6 years ago
parent
commit
27d363015b
1 changed files with 0 additions and 0 deletions
  1. 0 0
      script/zip-symbols.py

+ 0 - 0
script/zip-symbols.py