diff options
| author | Guillermo Ramos | 2015-07-16 03:05:58 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2015-07-16 03:06:20 +0200 |
| commit | 48c4cb7bb03009f0ca8a4aa68e72b1496d484c4f (patch) | |
| tree | e003a0b49bc03b46b8c16c19172d9452d2484b54 /ocaml_colors.tex | |
| parent | 8bea384f06121342fe351f191d4a5e7055a956f3 (diff) | |
| download | tfm-48c4cb7bb03009f0ca8a4aa68e72b1496d484c4f.tar.gz | |
Some style fixes in front page
Diffstat (limited to 'ocaml_colors.tex')
0 files changed, 0 insertions, 0 deletions