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.

Sign up for GitHub

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

Jump to bottom

Replace hand-rolled profiling code with OMPL's Profiler #4

Open
mkoval opened this issue Jun 22, 2014 · 3 comments
Open

Replace hand-rolled profiling code with OMPL's Profiler #4

mkoval opened this issue Jun 22, 2014 · 3 comments
Assignees
@mkoval
Labels
enhancement

Comments

@mkoval
Copy link
Member

mkoval commented Jun 22, 2014

No description provided.

@mkoval mkoval self-assigned this Jun 22, 2014
@siddhss5
Copy link

I wonder if it might make sense to add Ioan and Mark as developers.

Sidd.

(Rapidly written in motion)

On Jun 21, 2014, at 11:56 PM, Michael Koval [email protected] wrote:

—
Reply to this email directly or view it on GitHub.

@mkoval
Copy link
Member Author

mkoval commented Jun 23, 2014

That's fine by me. Do you know what their Github usernames are?

@siddhss5
Copy link

Nope, but could you send an email inviting them?
Sidd.

On Mon, Jun 23, 2014 at 4:29 PM, Michael Koval [email protected]
wrote:

That's fine by me. Do you know what their Github usernames are?

—
Reply to this email directly or view it on GitHub
#4 (comment)
.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@mkoval mkoval

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mkoval @siddhss5