« Previous | Next » 

Revision c622fa7c

IDc622fa7c53d1078af258686ed0ae584538337918
Parent 04247752
Child ced859f3

Added by Iustin Pop about 15 years ago

Rename the maxRes to r_mem

This is to keep in style with the other memory variables.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences