Only classify .pkl files as Pickle data dumps

It seems to be the dominant extension at the moment, even though several
Python resources use `.p` or `.pickle`. This was discussed in #2655.
This commit is contained in:
Ingo Blechschmidt
2015-11-17 00:03:21 +01:00
parent 01bb6c37ab
commit 6839516b5c
5 changed files with 0 additions and 2 deletions