summaryrefslogtreecommitdiff
path: root/issues/remove-extraneous-pcorrs-options.gmi
diff options
context:
space:
mode:
authorArun Isaac2022-07-06 16:59:30 +0530
committerArun Isaac2022-07-06 16:59:30 +0530
commitfd9df26dd1b91c65e8ae79f702e9c789ad8cb5c2 (patch)
tree53927cc8baf16bf69eec93d1f8652bdc8daf07fb /issues/remove-extraneous-pcorrs-options.gmi
parent35a6deec5c455a9d58db49f5ce8cf2150a202939 (diff)
downloadgn-gemtext-fd9df26dd1b91c65e8ae79f702e9c789ad8cb5c2.tar.gz
Document how to update penguin2 mariadb to the production database.
* topics/systems/mariadb/mariadb.gmi (Update MariaDB on penguin2 to the latest production database): New section.
Diffstat (limited to 'issues/remove-extraneous-pcorrs-options.gmi')
0 files changed, 0 insertions, 0 deletions