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 /doc/snippets/.krazy | |
parent | 80be1ea51582c92bf4dba2b4f104bb53b9628980 (diff) |
spelling + some krazy directives
Diffstat (limited to 'doc/snippets/.krazy')
-rw-r--r-- | doc/snippets/.krazy | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/snippets/.krazy b/doc/snippets/.krazy new file mode 100644 index 000000000..60f6bcaf3 --- /dev/null +++ b/doc/snippets/.krazy @@ -0,0 +1 @@ +EXCLUDE copyright,license
\ No newline at end of file |