Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

removed unused file #20

Merged
merged 2 commits into from
Feb 9, 2016

Conversation

jvarley
Copy link
Member

@jvarley jvarley commented Feb 3, 2016

This file isn't actually included anywhere, or do anything, so it should be removed.

@jvarley
Copy link
Member Author

jvarley commented Feb 9, 2016

@mateiciocarlie

This should be good to go. These files just aren't referenced or used anywhere.

-Jake

@mateiciocarlie
Copy link
Member

Oh wow, some ancient stuff there...

mateiciocarlie added a commit that referenced this pull request Feb 9, 2016
@mateiciocarlie mateiciocarlie merged commit 454b74a into graspit-simulator:master Feb 9, 2016
@jvarley jvarley deleted the remove_unused_file branch May 18, 2016 18:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants