1 Commits

Author	SHA1	Message	Date
Ingo Blechschmidt	6839516b5c	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.	2015-11-17 00:05:22 +01:00