diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-03-12 10:57:47 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-03-12 10:57:47 +0100 |
commit | 5d549c5bb793d4186559f77494f0ffce9fa15e61 (patch) | |
tree | 1722eebb0528d4154927431dd4edee18b1f4750e /assets/css/bootstrap.css | |
parent | 4052368bb5372a9f4c6164ef71d3bcd7ede9e81b (diff) |
scripts: Add worker option to refresh database.
* scripts/mumi.in: Update the mu index and the Sqlite database when
the "--worker" option is provided.
Diffstat (limited to 'assets/css/bootstrap.css')
0 files changed, 0 insertions, 0 deletions