diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-04-10 18:24:01 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-04-10 18:24:01 -0700 |
| commit | ab35b64fa2636a08aae271371c56f35f62c76c9d (patch) | |
| tree | 804d839eefc0e0e139f671b69b18aeeadaece265 /update_github_page | |
| parent | 44d018b6155c93e899f4509ac8a4f0f2d2340d5b (diff) | |
| download | mu-ab35b64fa2636a08aae271371c56f35f62c76c9d.tar.gz | |
2824
Undo commit 9da3fc3118; looks like we don't need it anymore, and the test was poorly done. Let's see if we hit the error again.
Diffstat (limited to 'update_github_page')
0 files changed, 0 insertions, 0 deletions