Changes between Initial Version and Version 1 of Ticket #9973


Ignore:
Timestamp:
09/23/10 08:38:45 (9 years ago)
Author:
jdemeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9973

    • Property Status changed from new to needs_review
    • Property Summary changed from Remove empty directory data/extcode/pari/SEA to Remove empty directories after PARI upgrade
  • Ticket #9973 – Description

    initial v1  
    1 In #9343, all files in the directory {{{data/extcode/pari/SEA}}} were removed, but the directory structure is still there.
     1In #9343, all files in the directory {{{data/extcode/pari/SEA}}} and {{{data/extcode/pari/cremona}}} were removed, but the directory structure is still there.
    22
    3 There is no patch for this, the release manager should remove the directory manually.
     3There is no patch for this, the release manager should remove the directories manually.