tree 1b0ee87f2feffea9c43a6a59b7bbb61db89d0f05
parent 8717024160ce00028d3cc1df148a4fa086a975c1
author Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1606943159 +0200
committer Ahmed Ghazy <ax3ghazy@aucegypt.edu> 1606943338 +0200

Update caravel top-level views

- using the supplied .magicrc, ~700 errors should show (abstract DRC)