Commit Graph

2 Commits (00ef6a30d64d97b2c582e456d79417b8a6d4b4e9)

Author SHA1 Message Date
Josh Berdine 63b57790f9 Fix indentation of multiline copyright comment 9 years ago
jrm 0cd533f892 Enforcing subtyping rules for @Expensive and @PerformanceCritical 10 years ago