diff options
| author | letouzey | 2013-08-22 14:29:39 +0000 |
|---|---|---|
| committer | letouzey | 2013-08-22 14:29:39 +0000 |
| commit | 676f8fac28958d141a73dd56d087ecdbe046ab31 (patch) | |
| tree | a2cb9f0ff9019f676b4365f921531e92d4fea691 /plugins/micromega/vo.itarget | |
| parent | 9abbc22bd4001082681bffb881077a66e658a23a (diff) | |
micromega: remove empty file CheckerMaker
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16724 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/micromega/vo.itarget')
| -rw-r--r-- | plugins/micromega/vo.itarget | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/plugins/micromega/vo.itarget b/plugins/micromega/vo.itarget index 302013087a..fb75bf20c8 100644 --- a/plugins/micromega/vo.itarget +++ b/plugins/micromega/vo.itarget @@ -1,4 +1,3 @@ -CheckerMaker.vo EnvRing.vo Env.vo OrderedRing.vo |