35c8f63f3b · Default to default theme · Updated 7 years ago
6761696f53 · entrance: test if there is allready a User · Updated 8 years ago
358b445c22 · entrance_wait: kill server if session was killed. · Updated 7 years ago
4049af9f06 · gui: remove button setting · Updated 6 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?