Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-01-15 | Yet more places with bad streaming encoding. | John Fultz | |
Okay...I think this fixes all file streams to be UTF-8 except for GCGs, which require less trivial effort. | |||
2015-09-28 | Some minor refactoring. | John Fultz | |
2014-09-02 | Change GPL file headers to v3. | John Fultz | |
Not a very interesting commit...only changes in comments. | |||
2014-08-12 | Compiler warnings. | John Fultz | |
2013-08-25 | Initial git commit. | Jason Katz-Brown | |