diff options
| author | Bernard Spil <brnrd@FreeBSD.org> | 2020-07-11 20:23:00 +0000 |
|---|---|---|
| committer | Bernard Spil <brnrd@FreeBSD.org> | 2020-07-11 20:23:00 +0000 |
| commit | 837a0c94356a96b44dfe009959f2ef5625603167 (patch) | |
| tree | c570047a25be3996504609be3cdff45bbb34a012 /Tools/scripts/patchtool.py | |
| parent | databases/mariadb105-server: New port MariaDB 10.5 (diff) | |
databases/sqlite3: change options logic
PR: 222021
Submitted by: Pavel Volkov <pavelivolkov gmail com>
Approved by: maintainer (pavelivolkov gmail com)
Diffstat (limited to 'Tools/scripts/patchtool.py')
0 files changed, 0 insertions, 0 deletions