Revision 38f63ae6
| ID | 38f63ae6df9ee664665e97ddc4711c45871de437 |
| Parent | 962367fe |
| Child | 8df5db55 |
Change the total disk/mem to Double
Since we only use the totals for computations, and we always convert
them via fromIntegral, let's just store them directly as Doubles.
Files
- added
- modified
- copied
- renamed
- deleted