I needed to add the word "average"\!
authorAdam Chlipala <adamc@hcoop.net>
Sun, 9 Dec 2007 22:00:11 +0000 (22:00 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 9 Dec 2007 22:00:11 +0000 (22:00 +0000)
commitd0a412e1208ae492ce83121d212eedeb5e986699
treef49aee3fd6eb138efa207b90b0167931aaae1e99
parent8236c6f328f39c7b125dff6233297ab4ff4a98c5
I needed to add the word "average"\!
qos.mlt