diff options
| author | politza <politza@fh-trier.de> | 2019-04-13 21:42:04 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-13 21:42:04 +0200 |
| commit | 2478da0ae42b7cf3051417d89b06fe2f1f4a7330 (patch) | |
| tree | ae5780ba258b85d85774bc68845806ce0c9f753a /server/autobuild | |
| parent | eaa5963f348250e37900011315faa130139c036d (diff) | |
| parent | 06217c405393668a2299df4026436cac80e7b651 (diff) | |
Merge pull request #483 from andersjohansson/current-pagelabel
Adds a function for returning the label of the current page
Diffstat (limited to 'server/autobuild')
0 files changed, 0 insertions, 0 deletions