2018-02-12 | Kevin M. Rosenberg | Disable srand48/rand48 by default | tree | commitdiff |
2018-02-12 | Kevin M. Rosenberg | Use rand48 rather than rand | tree | commitdiff |
2018-02-12 | Kevin M. Rosenberg | Build for /usr/local/qt3 | tree | commitdiff |
2018-02-12 | Kevin M. Rosenberg | Build without /usr/local/snark14 | tree | commitdiff |
2018-02-11 | Kevin M. Rosenberg | Initial snark14m import | tree | commitdiff |