]> source.dussan.org Git - nextcloud-server.git/commitdiff
projects / nextcloud-server.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9c209ab 6d2f9b3)
Merge pull request #21832 from nextcloud/bugfix/noid/source-maps-prod
authorMorris Jobke <hey@morrisjobke.de>
Tue, 14 Jul 2020 13:29:58 +0000 (15:29 +0200)
committerGitHub <noreply@github.com>
Tue, 14 Jul 2020 13:29:58 +0000 (15:29 +0200)
Build source maps on production build again


Trivial merge
Nextcloud server, a safe home for all your data: https://github.com/nextcloud/server