images/Makefile: fix filenames
they have been broken since the recent rename
Description
Description
Details
Details
- Provenance
zack Authored on Oct 3 2018, 11:10 AM zack Pushed on Oct 3 2018, 11:11 AM - Parents
- rDSTOf5dd8ac755b5: nicer landing page, pointing to homepage and API doc
- Branches
- Unknown
- Tags