This repository has been archived on 2024-08-19. You can view files and clone it, but cannot push or open issues or pull requests.

Klaus Weidenbach 792e475a78 Some JavaScript cleanups. ...

Adding some missing and remove some unnecessary semicolons.
Change some comparing operators.
Changed access to objects with dot operator.

2015-03-15 23:56:32 +01:00

..

css

assure that badges will be displayed as circles no matter what font is used and if there is only one digit inside. move css to its proper place

2015-03-14 12:37:48 +01:00

img

update theme screenshot

2015-03-05 17:39:15 +01:00

js

Some JavaScript cleanups.

2015-03-15 23:56:32 +01:00

php

remove unused variables

2015-03-08 12:56:16 +01:00

schema

port boxy scheme

2015-03-08 12:07:32 +01:00

tpl

whitespace and minor restructuring

2015-03-05 19:08:32 +01:00