diff options
| author | Jack Humbert <jack.humb@gmail.com> | 2016-12-30 11:12:47 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-12-30 11:12:47 -0500 |
| commit | 6dbcc50f564e8df3e29190425747b56a4ad605c2 (patch) | |
| tree | 305f7101518e2368609b4e12214a338f1260353e /doc | |
| parent | f98062081bcd56934241bac36fac76503d32a537 (diff) | |
| parent | 52430ef0d62ccb0135e030e158d99575c83b6ba3 (diff) | |
Merge pull request #975 from fredizzimo/remove_temp_files
Remove extra file that has been commited by mistake
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions