148: Proof Coding Standard - Amir - Githubissues

ubclaunchpad / Internado

🌪 Find Internship Opportunities

3 stars 1 forks source link

148: Proof Coding Standard - Amir #155

Closed AmirNaghibi closed 5 years ago

AmirNaghibi commented 5 years ago

single quote
2 space tab