diff options
author | 2005-03-28 15:22:48 +0000 | |
---|---|---|
committer | 2005-03-28 15:22:48 +0000 | |
commit | 36056e5065d0d0b9f3c442b07e7ae330289f3b9e (patch) | |
tree | b11c9625fc8c362fc1fa1a3b7ba7eb842243f152 /theories7/Arith/Max.v | |
parent | b3a0e57ffb89ffbe4e51f2bb2043a49a51dd2ec5 (diff) |
Remove myself from uploadersdebian/8.0pl2-2
Diffstat (limited to 'theories7/Arith/Max.v')
0 files changed, 0 insertions, 0 deletions