Changes between Initial Version and Version 1 of Ticket #2689, comment 23


Ignore:
Timestamp:
Sep 18, 2024, 1:52:21 PM (15 months ago)
Author:
Eric Pettersen

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #2689, comment 23

    initial v1  
    1 Well, probably ExtraDir rather than ExtraFile, but I see what you mean.  Now I recommend just closing this ticket until some kind of actual problematic use case shows up.
     1Well, probably !ExtraDir rather than !ExtraFile, but I see what you mean.  Now I recommend just closing this ticket until some kind of actual problematic use case shows up.