GitHub repository: svnk/noerr
Primary language: Java
Created: 2016-04-23T10:35:20Z
Description: noerr is a filter for noweb error messages to improve error messages for languages missing #LINE directives.