Tue, 01 May 2018 21:51:54 +0200 |
Thomas De Schampheleire |
repo-scan: don't print empty list of results
|
Mon, 23 Apr 2018 01:02:07 +0200 |
Mads Kiilerich |
style: use @panel-default-border for vertical line number / diff separator lines
|
Mon, 23 Apr 2018 00:50:22 +0200 |
Mads Kiilerich |
scripts: fix whitespacecleanup.sh after contextbar.css was removed and style.css is generated
|
Mon, 23 Apr 2018 00:44:13 +0200 |
Mads Kiilerich |
repos: clean up table button markup to give proper spacing
|
Mon, 23 Apr 2018 00:44:13 +0200 |
Mads Kiilerich |
repos: document get_repos_as_dict parameters - repos_list is mandatory
|
Mon, 23 Apr 2018 00:44:13 +0200 |
Mads Kiilerich |
repos: drop unused option for disabling get_repos_as_dict permission check
|
Mon, 23 Apr 2018 00:44:13 +0200 |
Mads Kiilerich |
templates: drop unused get_repos_as_dict super_user parameter
|
Mon, 23 Apr 2018 00:44:13 +0200 |
Mads Kiilerich |
templates: drop unused code for having repo names link to repo admin page
|
Sun, 25 Mar 2018 18:48:39 +0200 |
domruf |
less: avoid PR reviewer list being right-aligned on wide screens
|
Mon, 16 Apr 2018 03:11:12 +0200 |
Mads Kiilerich |
less: drop unused lineno styling
|
Wed, 25 Oct 2017 19:19:58 +0200 |
domruf |
less: generate map files when building style.css with 'npm run less'
|
Wed, 25 Oct 2017 20:37:22 +0200 |
domruf |
less: load optional theme.less file to allow custom styles
|
Tue, 24 Oct 2017 21:41:07 +0200 |
domruf |
less: include pygments.css in main.less
|
Sun, 15 Apr 2018 22:41:02 +0200 |
Mads Kiilerich |
style: generate pygments.css directly with pygmentize -a
|