Alfredo Garcia a63c2e8c40 Update book/src/dev/proptests.md ... Co-authored-by: Pili Guerra <mpguerra@users.noreply.github.com>		2021-04-29 18:29:53 -04:00
..
src	Update book/src/dev/proptests.md	2021-04-29 18:29:53 -04:00
theme	Use zebra favicon for zebra.zfnd.org book	2020-08-29 03:33:31 -04:00
.gitignore	Add skeleton of eventual zebra book (#653)	2020-07-17 20:15:50 -07:00
book.toml	Add skeleton of eventual zebra book (#653)	2020-07-17 20:15:50 -07:00
firebase.json	Add skeleton of eventual zebra book (#653)	2020-07-17 20:15:50 -07:00