Opened 2 years ago

Closed 2 years ago

#28411 closed enhancement (fixed)

refresh the prompt in the installation guide

Reported by: chapoton Owned by:
Priority: trivial Milestone: sage-8.9
Component: documentation Keywords:
Cc: tscrim, jmantysalo Merged in:
Authors: Frédéric Chapoton Reviewers: Jori Mäntysalo
Report Upstream: N/A Work issues:
Branch: 7f922c1 (Commits, GitHub, GitLab) Commit: 7f922c1fc298e3d5560cf1c509e405f3dc618644
Dependencies: Stopgaps:

Status badges

Description


Change History (3)

comment:1 Changed 2 years ago by chapoton

  • Branch set to u/chapoton/28411
  • Commit set to 7f922c1fc298e3d5560cf1c509e405f3dc618644
  • Status changed from new to needs_review

New commits:

7f922c1refresh the prompt in the source installation guide

comment:2 Changed 2 years ago by jmantysalo

  • Reviewers set to Jori Mäntysalo
  • Status changed from needs_review to positive_review

LGTM.

comment:3 Changed 2 years ago by vbraun

  • Branch changed from u/chapoton/28411 to 7f922c1fc298e3d5560cf1c509e405f3dc618644
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.