diff options
| author | jvoisin | 2017-10-25 14:22:56 +0200 |
|---|---|---|
| committer | GitHub | 2017-10-25 14:22:56 +0200 |
| commit | 5c841311bd762afc9c0edd46e65e2a8dcf109e68 (patch) | |
| tree | 3632f08c843d8fdafe70c1a279b1ffc4bf4e549a /scripts/generate_rules.php | |
| parent | 30b900fedc5b1584b4d352d47ec3f9406d558be5 (diff) | |
.drop() is now bailout
Courtesy of @buixor
Diffstat (limited to 'scripts/generate_rules.php')
0 files changed, 0 insertions, 0 deletions