https://github.com/tjitze/RankPL
Tip revision: ee38d4d0b66f0aa0c13442a674c2ae450574a172 authored by Tjitze Rienstra on 21 February 2020, 14:12:19 UTC
Merge pull request #3 from JLLeitschuh/fix/JLL/use_https_to_resolve_dependencies
Merge pull request #3 from JLLeitschuh/fix/JLL/use_https_to_resolve_dependencies
Tip revision: ee38d4d
File | Mode | Size |
---|---|---|
documentation | ||
examples | ||
paper | ||
src | ||
README.md | -rw-r--r-- | 3.4 KB |
license.txt | -rw-r--r-- | 1.0 KB |
pom.xml | -rw-r--r-- | 3.0 KB |