diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-11-27 22:01:23 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-11-27 22:03:58 -0800 |
| commit | 016599f1d2f861a5c36e6f88c05c98ef88e0ee85 (patch) | |
| tree | 2a6019bf69a4764a0c7204f5904c9ffd84dff77c /update_github_page | |
| parent | fca48e92d4e51eb7e5b1a811b65e5d69fadeb713 (diff) | |
| download | mu-016599f1d2f861a5c36e6f88c05c98ef88e0ee85.tar.gz | |
2484
Eliminate one of several hacky type-check helpers; they've been proliferating lately.
Diffstat (limited to 'update_github_page')
0 files changed, 0 insertions, 0 deletions