bugfix - sequels of moving to format() from old-style %-formatting
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 1 Jun 2015 12:32:16 +0000 (14:32 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 1 Jun 2015 12:32:16 +0000 (14:32 +0200)
there were 2 occurrences of an invocation of find that had a {} in them


No differences found