Skip to content
Snippets Groups Projects
Select Git revision
  • 13cc0ebecaaa27aeb21461e689fee63f74b803d4
  • master default protected
2 results

sequoia

user avatar
Carlos Ramisch authored
Update README and add function to remove subrelations in simplify_sequoia.py (not used for the moment)
b234aaad
History
user avatar b234aaad