diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-11 09:44:33 -0500 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-01-14 14:39:53 -0500 |
commit | 27b07f7565013a35d2f1727a5d052078b4262da8 (patch) | |
tree | 84bf5e37d38dd7eeb51b9a9bbb480cd9690acdf1 /coq/ML4PG/doc/src/images/fig3.png | |
parent | 7534276abdf6684fa4781384f1711c50f8830073 (diff) |
Mark coq-load-path-include-current as obsolete
Diffstat (limited to 'coq/ML4PG/doc/src/images/fig3.png')
0 files changed, 0 insertions, 0 deletions