diff options
author | Jauhien Piatlicki <jauhien@gentoo.org> | 2014-09-04 22:32:14 +0200 |
---|---|---|
committer | Jauhien Piatlicki <jauhien@gentoo.org> | 2014-09-04 22:32:14 +0200 |
commit | ab8f61ee3def18711d5b3748e7bee610bb0af8d8 (patch) | |
tree | 7e309060c5d936d2311003d8c597e6033862a803 /virtual/mpi | |
parent | Merge remote-tracking branch 'gentoo/master' (diff) | |
download | sci-ab8f61ee3def18711d5b3748e7bee610bb0af8d8.tar.gz sci-ab8f61ee3def18711d5b3748e7bee610bb0af8d8.tar.bz2 sci-ab8f61ee3def18711d5b3748e7bee610bb0af8d8.zip |
dev-ml/zarith: silence repoman
Diffstat (limited to 'virtual/mpi')
0 files changed, 0 insertions, 0 deletions