diff options
| author | Theodore Ni <3806110+tjni@users.noreply.github.com> | 2022-09-25 13:56:08 -0700 |
|---|---|---|
| committer | Theodore Ni <3806110+tjni@users.noreply.github.com> | 2022-09-25 13:58:14 -0700 |
| commit | 8740c5fd32a653db399ba614cb574df91e172e98 (patch) | |
| tree | d2a3f3be170a64275f76b2622df1e9bcda3267b6 /pkgs/development/coq-modules | |
| parent | 5fa1488e2b0effad849125784310f17b16f59004 (diff) | |
_3mux: update patch URL
I updated my upstream PR to be mergeable, which dropped the association between the current patch and my PR. Lesson learned.
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions