diff options
| author | Alex Flint <[email protected]> | 2020-04-17 16:18:07 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-04-17 16:18:07 -0400 |
| commit | f78dec87696adddc8f5a70fb59b905694cf41509 (patch) | |
| tree | c252ad4cba86c55b5e47e2dac885aa81d261e372 /.github | |
| parent | 854aa644a6897022cab3dc5974bc19f0367f9055 (diff) | |
| parent | 7a71aa1b202bdf986320ae80ebbfa34b5262c52b (diff) | |
Merge pull request #113 from alexflint/prettify-readme-header
move some stuff around in the readme header; add sourcegraph badge
Diffstat (limited to '.github')
| -rw-r--r-- | .github/banner.jpg | bin | 0 -> 10082 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.github/banner.jpg b/.github/banner.jpg Binary files differnew file mode 100644 index 0000000..6fbf95c --- /dev/null +++ b/.github/banner.jpg |
