Thomas Gelf
|
cd20ec385c
|
header-elements.less: remove obsolete user style
|
2015-06-05 12:59:18 +02:00 |
Eric Lippmann
|
6bae2e0a53
|
Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL
|
2015-02-04 10:52:27 +01:00 |
|
Eric Lippmann
|
5b4fab0750
|
Add license header
This time without syntax errors hopefully :)
|
2015-02-03 16:27:59 +01:00 |
|
Eric Lippmann
|
5fa2e3cfdc
|
Revert "Add license header"
This reverts commit 338d067aba.
|
2015-02-03 16:16:26 +01:00 |
|
Eric Lippmann
|
338d067aba
|
Add license header
fixes #7788
|
2015-02-03 15:51:04 +01:00 |
Johannes Meyer
|
3105c2059e
|
Remove license headers from all files
refs #6309
|
2014-07-15 13:43:52 +02:00 |
|
Thomas Gelf
|
9ff78c0aa1
|
Move UI debug out of header
|
2014-03-04 10:40:44 +00:00 |
|
Thomas Gelf
|
f395bbd0dd
|
Logo moved back to header, add styles
|
2014-02-25 10:30:05 +00:00 |
|
Thomas Gelf
|
139461c6d5
|
CSS refactored
|
2014-02-21 14:03:48 +00:00 |