Project

General

Profile

« Previous | Next » 

Revision 4083

util.py: list_subset(): Fixed bug where using '+' to append the rest of the list didn't work if '+' was the first index, because max() cannot be called on an empty list

  • added
  • modified
  • copied
  • renamed
  • deleted