Revision 17c59f4b
ID | 17c59f4b2e23914b2b7d32ecb12fa29ec110eb71 |
Parent | f9fc7a63 |
Child | 71e13e48 |
Remove unused parameters from PeerMap creation
We remove some unused arguments (added way back for compatibility with
Arrays, which we didn't use in the end). This makes the code clearer
(and doesn't need the Ndx type to be an instance of Num).
Files
- added
- modified
- copied
- renamed
- deleted