Tree: a8a9c954c9

dev

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'a8a9c954c9'

${ noResults }

Commit Graph

4 Commits (a8a9c954c9a7694f1ec0c4a75ea8f2a833ebf0dc)

Author	SHA1	Message	Date
Andy Meneely	cd0681a00a	Removing shebang to be less confusing	11 years ago
Andy Meneely	bf91190b3b	Rubocop: TrailingBlankLines	11 years ago
Andy Meneely	37fd4e7733	Rubocop: Trailing Whitespace	11 years ago
Andy Meneely	d7e3435715	Renaming files to be more conventional	12 years ago
Andy Meneely	410a6b91d0	Sample for alpha transparency with TGC proofs	12 years ago