Skip to content
This repository has been archived by the owner on Dec 27, 2019. It is now read-only.

remove duplicate files #7

Open
afeld opened this issue Jan 5, 2016 · 0 comments
Open

remove duplicate files #7

afeld opened this issue Jan 5, 2016 · 0 comments

Comments

@afeld
Copy link
Contributor

afeld commented Jan 5, 2016

I haven't looked into the code too deeply, but I don't totally understand why both of the following are necessary:

Seems like the two are similar, but not identical.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant