Removing leftover files that should have been deleted by veryclean.

s-sajid-ali · Dec 18, 2015 · 1f5a9f6 · 1f5a9f6
1 parent 43e613a
commit 1f5a9f6
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 61 deletions.
diff --git a/common/make.defs b/common/make.defs
diff --git a/scripts/small/runfgmpi b/scripts/small/runfgmpi