diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-01-16 08:03:22 +0100 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-01-16 09:45:56 +0100 |
commit | da81f0c7f1de8ce438189a1d2b86a890bc4138df (patch) | |
tree | 39da57eb0b96bd880270905ae359a335207c41ee /.mailmap | |
parent | 082b9f2efb4a775caa2b49dafc1dfcfd09cf9948 (diff) |
Implementing transitive reduction in the dependency graph printing
mechanism of coqdep.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions