Skip to content

Conversation

@khale
Copy link

@khale khale commented Mar 15, 2019

I added Nautilus according to the existing format and also fixed the lexicographic ordering with Hermitcore. Feel free to merge the commits. Let me know if there are any issues. Thanks!

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.

1 participant