-
The RTS configure script is now solely responsible for managing its headers; the top level configure script does not help.
7dfcab2f
The RTS configure script is now solely responsible for managing its headers; the top level configure script does not help.