Skip to content

Conversation

@sciunto
Copy link
Member

@sciunto sciunto commented Jul 23, 2014

Hi,

I had to do some modifications to submit on arxiv. I think it's good to keep the sources for arxiv if we need to update or reuse this version

@jni
Copy link
Member

jni commented Jul 23, 2014

@sciunto Thanks for all this! I'm going to let @stefanv merge when he's done with his travels, since he did the final corrections.

Base automatically changed from master to main February 18, 2021 18:35
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