-
Kristian Høgsberg authored
We just print properties when they change now instead of dumping all properties whenever we re-read them. Also, make the property output a little more concise.
0273b571
We just print properties when they change now instead of dumping all properties whenever we re-read them. Also, make the property output a little more concise.