diff options
| author | manuel <manuel@mausz.at> | 2011-06-29 09:23:48 +0200 |
|---|---|---|
| committer | manuel <manuel@mausz.at> | 2011-06-29 09:23:48 +0200 |
| commit | b77033dad8594796c2ecd2048f63c9fbc9c2df5a (patch) | |
| tree | 80bed4fded3a5cb2251a8effb2e16083c1b6144e /pacman-google | |
| parent | 039012a85eeb0fe96bf5d3e079dac7a2dc678988 (diff) | |
| download | foop-b77033dad8594796c2ecd2048f63c9fbc9c2df5a.tar.gz foop-b77033dad8594796c2ecd2048f63c9fbc9c2df5a.tar.bz2 foop-b77033dad8594796c2ecd2048f63c9fbc9c2df5a.zip | |
make the replcaeability postcondition example a bit better
Diffstat (limited to 'pacman-google')
0 files changed, 0 insertions, 0 deletions