-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
We dropped support for Cygwin a while ago, but there is some stuff left over in the tree. Let's finally remove it. URL: sagemath#38966 Reported by: Michael Orlitzky Reviewer(s): Kwankyu Lee
- Loading branch information
There are no files selected for viewing
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,3 +1,3 @@ | ||
tarball=configure-VERSION.tar.gz | ||
sha1=490f6d988c1c4c0786a0c8b36e708db56e17bfa6 | ||
sha256=2e2b6821c9abd7d2b910edb1237f3622e985a2321cf1eedb2161b714494c6643 | ||
sha1=b57fc7a6adb26a01f6b49cd5599221d8fb369a77 | ||
sha256=da2ce0e892f28c583f6f43238d295375db66275d9196222e3859743260296674 |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
93661cbe00c3e83691d6ed8c64586163cfdae62f | ||
20ad1c640949d5999c11148295ef4f856b2e745e |
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.