Files
one/src
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-10-25 21:23:27 +02:00
2013-04-30 13:01:16 +02:00
2013-11-27 11:22:48 +01:00
2013-11-28 15:11:39 +01:00
2013-10-25 16:05:53 +02:00
2013-01-24 16:18:30 +01:00
2013-11-15 13:32:52 +01:00
2013-11-28 15:11:39 +01:00
2013-11-28 15:11:39 +01:00
2013-10-25 16:05:53 +02:00
2013-11-28 15:11:39 +01:00
2013-11-12 14:08:33 +01:00
2013-10-25 21:23:27 +02:00
2013-10-25 16:05:53 +02:00