diff options
author | Remi Collet <remi@remirepo.net> | 2018-10-15 08:37:18 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2018-10-15 08:37:18 +0200 |
commit | 54bc2eb5d567c9d8a53a6bfa634ee3761bb232a4 (patch) | |
tree | 574f7ea7fa8e5b68f98f881e549f9396781f67c2 /.gitignore | |
parent | b7e64eae49d0a6f656ff2df7b4c24f6fbfb65298 (diff) |
add patch for PHP 7.3 from https://github.com/horde/Text_Filter/pull/1
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions