diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-07 17:01:57 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-07 17:01:57 +1000 |
| commit | c26f38114fedde81effb938ffbedfe922d77a322 (patch) | |
| tree | f5c637526607507e2861ab8bce69d49e89a4f541 /tex | |
| parent | 42e729d20000eb141b2907ad83630af34f4afea3 (diff) | |
A whole bunch of clean up work around the place.
- Make it a bit nicer to use the command-line
- Remove the strategies we won't be using
- Clean up some code around the place, generally
Diffstat (limited to 'tex')
0 files changed, 0 insertions, 0 deletions