Merge branch 'master' of github.com:rcarmo/piku

pull/13/head
Rui Carmo 2017-10-07 16:18:35 +01:00
commit 8a44e4192c
1 zmienionych plików z 0 dodań i 1 usunięć

Wyświetl plik

@ -12,7 +12,6 @@ from json import loads
from multiprocessing import cpu_count
from os import chmod, unlink, remove, stat, listdir, environ, makedirs, O_NONBLOCK
from os.path import abspath, basename, dirname, exists, getmtime, join, realpath, splitext
from prompt_toolkit.history import FileHistory
from re import sub
from shutil import copyfile, rmtree
from socket import socket, AF_INET, SOCK_STREAM