Files
one/src/vm_template
JensHoffmann f7ecf6f8fc Take advantage of delete not acting on null values
The code 'delete 0' does nothing. So you can shorten code
like:

  if (x != 0) {
    delete x
  }

to simply: delete x
2013-12-09 17:56:25 +01:00
..
2013-01-24 16:18:30 +01:00