Teemu R c90465c5dd
Remove unnecessary cache (#40)
The cache was useful trick when the property accesses caused I/O,
which is unnecessary now as dev.update() does explicitly cache results until its called again.
2020-04-12 15:57:49 +02:00
..
2020-04-12 15:57:49 +02:00
2019-12-18 09:11:18 +01:00
2020-03-18 00:40:06 +01:00
2019-12-18 09:11:18 +01:00
2020-04-12 15:57:49 +02:00
2020-04-12 15:57:49 +02:00
2020-04-12 15:57:49 +02:00
2020-04-12 15:57:49 +02:00
2019-12-18 09:11:18 +01:00