diff options
author | Gael Guennebaud <g.gael@free.fr> | 2008-08-28 21:44:56 +0000 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2008-08-28 21:44:56 +0000 |
commit | 7ea821d18e6b1294acf170b805c3c132c47f2f77 (patch) | |
tree | 196865782f422611721ce841373f9d77c3519c3c /.krazy | |
parent | 80be1ea51582c92bf4dba2b4f104bb53b9628980 (diff) |
spelling + some krazy directives
Diffstat (limited to '.krazy')
-rw-r--r-- | .krazy | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +IGNORESUBS disabled,bench,build
\ No newline at end of file |