Completed
Pull Request — master (#1654)
by Lasse
01:41
created
8.87
▶   ± 0
Head
AbdealiJK  
Merge 62d853a34a8fa53d08fdcecefe787bb8c6be603d into 16fdb2eaeb55160eace5724f00e757d305f7b0dc
2 more commits
Base
vidhan1995  
Constants.py: Remove coalib_bears_root