diff options
| author | krk <[email protected]> | 2019-11-01 15:58:09 +0000 |
|---|---|---|
| committer | krk <[email protected]> | 2019-11-01 15:58:09 +0000 |
| commit | 1841a39f865b38041e84cd80840587dbe57d62c1 (patch) | |
| tree | 75a7209c2f02bebd1c93efde21e7ac2272f2f739 /docs/user | |
| parent | 4a4d9f7a90dc0605992c4f774a8d9a1323ad6d1e (diff) | |
Remove variable pat.
Diffstat (limited to 'docs/user')
0 files changed, 0 insertions, 0 deletions