diff options
author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-10 17:37:37 (GMT) |
---|---|---|
committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2007-07-10 17:37:37 (GMT) |
commit | f182201b3491365e7ebe19284fb92b07ed90ef7a (patch) | |
tree | 5b63a4afee65aeb4d3139203eedb7b0967bc5cfa | |
parent | b83a9ec27dd67927136aabea9fe1b114efecd658 (diff) |
Snapshot b83a9ec27d.
-rw-r--r-- | NEWS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,3 +1,5 @@ +Snapshot b83a9ec27d + * Fix font size on the XO. (marco) * Make developer console work again. (marco) * #2020 Use the new activity-stop icon. (marco) |