Closed joergsteffens closed 10 years ago
using the github travis integration to immediatly check, if the latex code is correct and all references are defined.
using the github travis integration to immediatly check, if the latex code is correct and all references are defined.