/drat

Sample drat repository for easy forking and bootstrapping

No issues in this repository yet.