diff options
| author |  Vitaly Takmazov | 2017-10-06 17:01:19 +0300 |
|---|---|---|
| committer | Vitaly Takmazov | 2017-10-06 17:03:11 +0300 |
| commit | 2996fb8279645b1329b38c5c7b6d81ba3c10612e (patch) | |
| tree | 56e73f9b7e116451193412ec3b60d481b444ef9a /juick-rss/src/main | |
| parent | 9cd6679f3f2804bc0b22cfb816f40b47846080cf (diff) | |
server-core: start using jsr305
server-web: getCurrentUser() is not nullable
Diffstat (limited to 'juick-rss/src/main')
0 files changed, 0 insertions, 0 deletions