1 Commits (25bf0d7a676ff8138f48ac3bb63a013437293996)

Author SHA1 Message Date
Andy Meneely 1cdc9c0d71 samples: reorganize for better sanity 9 years ago
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