Vincent Breitmoser cd55871950 display unknown keys red rather than orange ... For an unknown key, there is no indication of the state the key is in. To indicate both immediate action required, and to make this status equal to its worst case (rather than *better* than its worst case), the status is displayed in red. At some point, we will probably want to download unknown keys automatically, at which point an unknown key will actually be an error state. This is an intermediate solution until then.		2015-04-28 18:22:24 +02:00
..
assets	remove leftover of AndroidBootstrap	2014-06-30 22:05:02 +02:00
java	display unknown keys red rather than orange	2015-04-28 18:22:24 +02:00
res	display creation dates for ambiguous user ids	2015-04-27 17:46:10 +02:00
AndroidManifest.xml	support for handling keyserver urls from browser, added documentation	2015-04-20 21:42:51 +05:30