docs: Add snip to the users list (#3614)

* add snip

* Alphabetize

Co-authored-by: snip-bot <snip-bot>
Co-authored-by: Erik Demaine <edemaine@mit.edu>
This commit is contained in:
snip-bot
2022-05-20 19:10:16 +02:00
committed by GitHub
parent 4fa84d0ca3
commit be8a3847d2
2 changed files with 5 additions and 0 deletions

BIN
website/static/img/snip.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 38 KiB