diff options
author | Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 11:00:45 -0700 |
---|---|---|
committer | Andy Adams-Moran <adams-moran@galois.com> | 2012-05-17 11:00:45 -0700 |
commit | cde1427223dd0d066b4da59f6834b140ee3322a0 (patch) | |
tree | 2ed80277e66ee488dce514854baa1b5d1c2a9908 /doc/manual_src/css-images/galois_logo.png | |
parent | f454bad1206942a9537012804e6d02452effa0fa (diff) |
Doco: use Galois' github style sheet in pandoc-generated html
Diffstat (limited to 'doc/manual_src/css-images/galois_logo.png')
-rw-r--r-- | doc/manual_src/css-images/galois_logo.png | bin | 0 -> 5196 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/manual_src/css-images/galois_logo.png b/doc/manual_src/css-images/galois_logo.png Binary files differnew file mode 100644 index 0000000..69dd4fc --- /dev/null +++ b/doc/manual_src/css-images/galois_logo.png |