-
Lorenz Huedepohl authored
Pavel noted that some header files were missing from the distribution. Also, I moved the private generated header files to src/ in order to more clearly separate them.
530c08f0
Pavel noted that some header files were missing from the distribution. Also, I moved the private generated header files to src/ in order to more clearly separate them.