Browse Source

Merge pull request #573 from HeyPuter/fix-CI-network-issues

Move `.commit` to `/tools`
Nariman Jelveh 10 months ago
parent
commit
069b5e0033
1 changed files with 0 additions and 0 deletions
  1. 0 0
      tools/.commit

+ 0 - 0
.commit → tools/.commit