New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

'docker pull' => 'docker coq' #57

Open

grambetta opened this issue May 31, 2018 · 3 comments

grambetta commented May 31, 2018

J'ai galéré à trouver cette commande, elle n'était pas indiquée dans le lis-moi

Contributor

alexislefebvre commented May 31, 2018

Visiblement c'est docker apporte.

Author

grambetta commented May 31, 2018

Ca m'apprendra à mal lire la doc

Owner

brouberol commented May 31, 2018

Le "Lis-moi" <3<3

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment