diff options
| author | David Thompson <dthompson2@worcester.edu> | 2022-08-31 19:16:06 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2022-08-31 19:16:06 -0400 |
| commit | c5867856a9a63694462329d73c40dc5ca978a397 (patch) | |
| tree | 9be0ac1b997eef2276bb7b70f4e1793a3956d1ac /doc/manual.css | |
| parent | 2f3704155a2a2386280032a080e0ce6297ce23ec (diff) | |
guix: Use simpler method of using local git checkout.
Diffstat (limited to 'doc/manual.css')
0 files changed, 0 insertions, 0 deletions