Mercurial > dive4elements > river
diff java.header @ 9171:f1be005f0c46
tab titles from server
author | gernotbelger |
---|---|
date | Fri, 22 Jun 2018 11:02:59 +0200 |
parents | 0862ea5d66ba |
children |
author | gernotbelger |
---|---|
date | Fri, 22 Jun 2018 11:02:59 +0200 |
parents | 0862ea5d66ba |
children |