rarias/jungle
2
0
Fork 3
Code Issues 58 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

WIP: Remove blobs and split website in another repository #186

Closed
rarias wants to merge 458 commits from remove-website into old-master
pull from: remove-website
merge into: rarias:old-master
Conversation 1 Commits 458 Files Changed 143 +2
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit b1adbed3de - Show all commits

2
m/hut/nginx.nix
View File

@@ -12,6 +12,8 @@ let
installPhase = ''
cp -r public $out
'';
# Don't mess doc/
dontFixup = true;
};
in
{