diff options
| author | jdhao <jdhao@hotmail.com> | 2022-08-31 00:02:32 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-31 00:02:32 +0800 |
| commit | a39b53b7c155b5f66987572cdb0a45b6a50a8528 (patch) | |
| tree | c95cee606f1f946a1cdc5ba37ac0e3c4849533ca /resources/head.tex | |
| parent | 208b190a65c8b9175f770872a8ef00ca638029a7 (diff) | |
| parent | b9616aeab06d4007ea874bf5bb201bfe4309881e (diff) | |
Merge pull request #85 from jdhao/packer
update packer conf
Diffstat (limited to 'resources/head.tex')
0 files changed, 0 insertions, 0 deletions