Ticket #12189 (closed PLEASE CHANGE: duplicate)

Opened 17 months ago

Last modified 17 months ago

Remove useless scripts from local/bin

Reported by: mderickx Owned by: tbd
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: PLEASE CHANGE Keywords:
Cc: Work issues:
Report Upstream: N/A Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description

sage-grep is not needed since we now have search_src same goes for sage-grep-doc and sage-verify-pyc is not needed eiter.

Change History

comment:1 Changed 17 months ago by mderickx

  • Status changed from new to closed
  • Resolution set to duplicate
  • Milestone changed from sage-4.8 to sage-duplicate/invalid/wontfix

Sorry for the duplicate (see #12189)

comment:2 Changed 17 months ago by mderickx

#12190

Note: See TracTickets for help on using tickets.