| commit | 4c19052b8790c613ce1780e8e5e2418b63a3e08f | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Wed Sep 09 17:23:53 2020 +0100 |
| committer | Ed Willink <ed@willink.me.uk> | Wed Sep 09 17:23:53 2020 +0100 |
| tree | 2bdee2f49be2e15f8dd773bf0183904de0d37229 | |
| parent | 51d179f5c8fda8de77316f52114a9e2b53ded13b [diff] |
[ocl] Adjusted fonts for OCL Reflections paper
