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

..

data.pkl

Only classify .pkl files as Pickle data dumps

2015-11-17 00:05:22 +01:00

neural-network-ce-l2reg-784-10-30.pkl

Only classify .pkl files as Pickle data dumps

2015-11-17 00:05:22 +01:00

random.pkl

Only classify .pkl files as Pickle data dumps

2015-11-17 00:05:22 +01:00

save.pkl

Only classify .pkl files as Pickle data dumps

2015-11-17 00:05:22 +01:00