coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] -o option has stopped working for directories

From: Chris Dams <chris.dams.nl AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] -o option has stopped working for directories
Date: Mon, 7 May 2018 16:54:01 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chris.dams.nl AT gmail.com; spf=Pass smtp.mailfrom=chris.dams.nl AT gmail.com; spf=None smtp.helo=postmaster AT mail-ot0-f171.google.com
Ironport-phdr: 9a23:zLCivBIUUnThdJvdJ9mcpTZWNBhigK39O0sv0rFitYgRK//xwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhyUJNzA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGp2xb4sVD+oAJuZTsofzqEELrRulGAKhA//gyj9Shn/3xq02yfkuHhvD3Aw7Bd4OtnDUoc76NKcXS++1za3IwS/fYPNR3Dfw8Y7FeQ0ir/GURb99c8XcxVMyGw/bjlics4/oMy2P2ugQsWWX8uxtXv+1hWE9sQF+uD2vy98siobXgoIVzUjJ9SBjz4Y0Id20UUl7YcK4HJdJuSGWKol7Tt44T2FnvyY6zbIGuZqlcyQQ1JsnwBvfZ+SGc4iO/B3jSP6cLDV3iX5/Zb6zmRa//VKjx+HiTMW4zVRHojddntnJrH8N1hjT6sadSvt6+0eswSqA1wDJ6uFFOkA4j7fUJIQkwr4rjJYTt0DDEzT5mEXzlqCWd0Ek9vK05OTgZ7XqvoWcOJNsigHiLqQundSyDvg/MggXRmSU5eC81KD48kDiW7VLjvg2krHDv5zAJMQboLS5Aw5P3Yo55Ra/FWTu7NNNln4eaVlBZRjP24PuIhTFJO3yJfa5mVWl1jlxkaPoJLrkV77NNHnY2JvoeK01v0Vc0gsoi9xW4okSDLUpL/f6W0u3v9vdWExqezeoyvrqXY0unrgVXniCV/fAYfHi9GSQ7+dqGNGiIYocuTLzMf8gvqe8gnowmFtbdq6sj8JONCKIW89+KkDcWkLCx88bGD5T7AU7Re3uzlaFVGwLPivgb+cH/jg+TbmeI8LDS4Sq2uLT2S66GthRejgDBAnTSDHncIKLX/pKYyWXcJds

Hello Theo,

Okay, I creaed an issue on github.

Have a nice day,

Chris

[Coq-Club] -o option has stopped working for directories, Chris Dams, 05/07/2018
- Re: [Coq-Club] -o option has stopped working for directories, Théo Zimmermann, 05/07/2018
  - Re: [Coq-Club] -o option has stopped working for directories, Chris Dams, 05/07/2018