projects / folly.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e9e3d9b bf1d0ee)
Merge pull request #225 from wb14123/dup
authorSara Golemon <saramg@gmail.com>
Mon, 15 Jun 2015 20:31:59 +0000 (13:31 -0700)
committerSara Golemon <saramg@gmail.com>
Mon, 15 Jun 2015 20:31:59 +0000 (13:31 -0700)
Remove duplicate header file
Somehow this was already correct in the internal repo, but not the external one.
Thanks!


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.