Project

General

Profile

« Previous | Next » 

Revision 3816

Added by Aaron Marcuse-Kubitza about 12 years ago

util.py: list_subset(): Made an index of '+' append the rest of the list

  • added
  • modified
  • copied
  • renamed
  • deleted