Eric, could you please reopen this bug? The 3rd party folder is still present in master, there's absolutely no reason to close this bug, especially that antlr3 is in both Debian and Ubuntu. Please do remove the 3rdparty folder.
Eric, could you please reopen this bug? The 3rd party folder is still present in master, there's absolutely no reason to close this bug, especially that antlr3 is in both Debian and Ubuntu. Please do remove the 3rdparty folder.