Changes between Version 18 and Version 22 of Ticket #14733


Ignore:
Timestamp:
07/07/13 11:17:27 (9 years ago)
Author:
chapoton
Comment:

here is a corrected patch

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14733 – Description

    v18 v22  
    1515Apply:
    1616
    17   * [attachment:trac_14733_banner_unicode_color.patch]
    18   * [attachment:trac_14733_version_regexp.patch]
     17  * [attachment:trac_14733_banner_unicode_color.patch] on devel/sage
     18  * [attachment:trac_14733_version_regexp.patch] on SAGE_SOURCE