Thu, 04 Oct 2018 11:28:48 +0200 | Cédric Krier | url: allow to configure timeout on http connection | changeset | files |
Wed, 26 Sep 2018 23:50:14 +0200 | Boris Feld | obsolete: explicitly track folds inside the markers | changeset | files |
Wed, 03 Oct 2018 11:59:47 +0200 | Boris Feld | cleanupnodes: update comment to drop mention of filtering | changeset | files |