mirror
/
repo2docker
kopia lustrzana https://github.com/jupyterhub/repo2docker
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Fix typo in comment

pull/652/head
yuvipanda 2019-04-30 10:46:34 -07:00
rodzic c0a33b340b
commit c8cff1bccc
1 zmienionych plików z 1 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

2
repo2docker/__main__.py
Wyświetl plik

@ -300,7 +300,7 @@ def make_r2d(argv=None):
if args.build_memory_limit: if args.build_memory_limit:
# if the string only contains numerals we assume it should be an int # if the string only contains numerals we assume it should be an int
# and specifies a size inn bytes # and specifies a size in bytes
if args.build_memory_limit.isnumeric(): if args.build_memory_limit.isnumeric():
r2d.build_memory_limit = int(args.build_memory_limit) r2d.build_memory_limit = int(args.build_memory_limit)
else: else: