j
k
j a
j l
...Perhaps what we should do then is add a "!TYPE = ignore" as Frank suggested and then decide what would be the best method for handling local thorns which are not already in the source tree.
Perhaps what we should do then is add a "!TYPE = ignore" as Frank suggested and then decide what would be the best method for handling local thorns which are not already in the source tree.
GetComponents has been updated to support this now.
Eric
Back to the thread
Back to the list
