diff options
| author | Teddy Wing | 2021-02-03 23:25:30 +0100 |
|---|---|---|
| committer | Teddy Wing | 2021-02-03 23:25:30 +0100 |
| commit | b19c948b058a94a7b4f5de01b6642d0303ec214d (patch) | |
| tree | 43993f974702b34e322aa90ac0f4177426fccd43 /l/TODO | |
| parent | 2ec9b50b38a9c896db253f9af841af36d703a4f3 (diff) | |
| download | extreload-b19c948b058a94a7b4f5de01b6642d0303ec214d.tar.bz2 | |
main: Replace hard-coded extension ID with list from command line args
Reload the extension IDs given on the command line now that we have them
from the `config` object. Replace the hard-coded extension ID that I had
been using for testing.
Diffstat (limited to 'l/TODO')
0 files changed, 0 insertions, 0 deletions