diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2022-10-13 16:14:22 +0200 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2022-10-13 16:14:22 +0200 |
| commit | 6c9ccf23291e6f331165c77e55fc90fba1fb45d9 (patch) | |
| tree | e9b0230dbdcdce1b8e7eb783a73321a73b3db7b7 /header.tex | |
| parent | 7d6969615c87706c45cac0fa2e6396c50db65abb (diff) | |
Minor change
Diffstat (limited to 'header.tex')
0 files changed, 0 insertions, 0 deletions