tree 7de82ab7180d8fb2eb7dd7570c4d549ed9b66965
parent 10b5b0cab5e20c2faa5bc5c74b65622134158341
author Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1605794748 +0200
committer Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1605794748 +0200

Add default target to "load" user design on caravel

- Also, don't save timestamp when gzipping files