Fix embed of Explorer.png
authorPeter Amstutz <peter.amstutz@curii.com>
Tue, 1 Feb 2022 19:28:13 +0000 (14:28 -0500)
committerPeter Amstutz <peter.amstutz@curii.com>
Tue, 1 Feb 2022 19:28:13 +0000 (14:28 -0500)
commitfd12522e68249d4afb284ee99fbe806a544e9147
treed73ca1819e63af85cbb484276774c8727f31680a
parent1b65f91214e61a755671475db8e0de708d7ed27b
Fix embed of Explorer.png
setup.md