port to Elpi 2.0 #1912
garesAnnotations
4 errors
|
build (8.20+rc1, 4.14.x)
Process completed with exit code 20.
|
|
build (dev, 4.14.x)
Process completed with exit code 20.
|
|
build (8.20+rc1, 5.2.x)
Process completed with exit code 20.
|
|
build (dev, 5.2.x)
Process completed with exit code 20.
|