j
k
j a
j l
...why don't we just remove the argument if it's ignored? are we sure it sholud be ignored? Make it optional.
why don't we just remove the argument if it's ignored? are we sure it sholud be ignored?
Make it optional.
Don't know if it was ironic, but IMHO if it is useless, it should go away.
Frédéric
Back to the thread
Back to the list
