diff options
author | David Thompson <dthompson2@worcester.edu> | 2022-08-31 19:12:12 -0400 |
---|---|---|
committer | David Thompson <dthompson2@worcester.edu> | 2022-08-31 19:12:12 -0400 |
commit | 3ff4949e053c4e79b7f114ca8ebed323a424d666 (patch) | |
tree | 0359c4d5c052d8482d4b3118413636c870e11b73 /website/manual/Installation.html | |
parent | 940036c22fb21f24d72c5811bdddfe13a750d734 (diff) |
guix: Use simpler method for local git checkout.
Diffstat (limited to 'website/manual/Installation.html')
0 files changed, 0 insertions, 0 deletions