Changes between Version 4 and Version 5 of Ticket #33113


Ignore:
Timestamp:
01/04/22 21:09:52 (6 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #33113 – Description

    v4 v5  
    1818  Image `https://img.shields.io/badge/-Gitpod-908a85?logo=gitpod`
    1919  Link `https://gitpod.io/#https://github.com/sagemath/sagetrac-mirror/tree/<branch>`
     20
     21- Remove popup notifications:
     22  - "Snooty language server is not installed or out of date."