diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-08 22:36:30 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-08 22:36:30 -0700 |
| commit | 4ba60f356501b01ca7f5935308f7d05418fc45e2 (patch) | |
| tree | 34376386164e2bb9075eae959a48924bc53a1571 /html/edit/002-typing.mu.html | |
| parent | 3968855b2a2994a1ce52f610c17b82ca596aa8e9 (diff) | |
| download | mu-4ba60f356501b01ca7f5935308f7d05418fc45e2.tar.gz | |
2944
2943 almost worked; just a couple of tweaks: a) Divide up the work a little more finely since we still timed out on some jobs. b) Use clang and valgrind when running apps as well.
Diffstat (limited to 'html/edit/002-typing.mu.html')
0 files changed, 0 insertions, 0 deletions