summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-08-09 19:34:09 +0200
committerGitHub <noreply@github.com>2016-08-09 19:34:09 +0200
commita42aa04b489111fb63f57f55f8b0a260236277aa (patch)
tree07113865aef5c2300ad960164cc716db3dc0c3f0 /tools
parente91dc12128b156f1b355e88b3d4f46ad162f1dc5 (diff)
parent43e8f05a535d880faf9e162a8de27dd302928e8c (diff)
Merge pull request #149 from PavloKapyshin/master
Fix typo
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions