-
POTTIER Francois authored
This fixes the bug where --table and --external-tokens did not work together.
a4611cf8
To find the state of this project's repository at the time of any of these versions, check out the tags.
This fixes the bug where --table and --external-tokens did not work together.