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

Fix argument definition

pull/118/head
Tim Head 2017-11-09 16:41:00 +01:00
rodzic 5242bd8339
commit 5ff228deca
1 zmienionych plików z 1 dodań i 0 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

1
repo2docker/app.py
Wyświetl plik

@ -55,6 +55,7 @@ class Repo2Docker(Application):
git_workdir = Unicode(
None,
config=True,
allow_none=True,
help="""
Working directory to check out git repositories to.