diff options
author | Kartik Agaram <vc@akkartik.com> | 2020-02-18 00:33:22 -0800 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2020-02-18 00:37:37 -0800 |
commit | 54fc4d952df9d7a5abcc08c816fb8a694902e381 (patch) | |
tree | 60d49e3fa5a78bc19b3d4ae7e3f72aa39ae9bcb8 /tools/update_html | |
parent | 5c4eb680c0fafb403fdffa9f49c1d6424714c48c (diff) | |
download | mu-54fc4d952df9d7a5abcc08c816fb8a694902e381.tar.gz |
6022
Forgot to actually use the new type-dispatch in commit 6017.
Diffstat (limited to 'tools/update_html')
0 files changed, 0 insertions, 0 deletions