Opened 9 years ago

Closed 9 years ago

Last modified 9 years ago

#12189 closed PLEASE CHANGE (duplicate)

Remove useless scripts from local/bin

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

Status badges

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 (2)

comment:1 Changed 9 years ago by mderickx

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

Sorry for the duplicate (see #12189)

comment:2 Changed 9 years ago by mderickx

Note: See TracTickets for help on using tickets.