Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
src/bin/sage-list-optional, sage-list-experimental, sage-list-standar…
Browse files Browse the repository at this point in the history
…d: Remove deprecated scripts
  • Loading branch information
Matthias Koeppe committed Jun 20, 2020
1 parent e2dcdee commit 9c7116b
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 15 deletions.
5 changes: 0 additions & 5 deletions src/bin/sage-list-experimental

This file was deleted.

5 changes: 0 additions & 5 deletions src/bin/sage-list-optional

This file was deleted.

5 changes: 0 additions & 5 deletions src/bin/sage-list-standard

This file was deleted.

0 comments on commit 9c7116b

Please sign in to comment.