dist: config file for distributed switch
[gem5.git] / util / git-pre-commit.py
2016-03-30 Andreas Sandbergstyle: Add a git pre-commit hook