diff options
| author | Guillermo Ramos | 2015-07-05 14:59:02 +0200 |
|---|---|---|
| committer | Guillermo Ramos | 2015-07-05 14:59:02 +0200 |
| commit | af8b1cd188ff80b1f83210b0224d746f35b72537 (patch) | |
| tree | b04d69a4d78ed79128ac28be3bc7766133a40052 /ocaml_colors.tex | |
| parent | fdda20c0f552044949a25ef1000069f796041f38 (diff) | |
| download | tfm-af8b1cd188ff80b1f83210b0224d746f35b72537.tar.gz | |
Adjusted front page format
Diffstat (limited to 'ocaml_colors.tex')
0 files changed, 0 insertions, 0 deletions