| commit | 72890c2da170577883e6431bd92d612716a31b85 | [log] [tgz] |
|---|---|---|
| author | Brian Silverman <brian@peloton-tech.com> | Sat Sep 19 14:37:37 2015 -0400 |
| committer | Brian Silverman <brian@peloton-tech.com> | Sat Sep 19 14:37:37 2015 -0400 |
| tree | 168a10c354b187d848360d67f8059651f1c5990f |
Squashed 'third_party/eigen/' content from commit 61d72f6 Change-Id: Iccc90fa0b55ab44037f018046d2fcffd90d9d025 git-subtree-dir: third_party/eigen git-subtree-split: 61d72f6383cfa842868c53e30e087b0258177257
diff --git a/doc/snippets/.krazy b/doc/snippets/.krazy new file mode 100644 index 0000000..00b9940 --- /dev/null +++ b/doc/snippets/.krazy
@@ -0,0 +1,2 @@ +EXCLUDE copyright +EXCLUDE license