| tree | 7b33024c87bc08801ecca11a5c01e83f694271f8 |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 556 | create-pkg-config-for-dll.sh | blobblamehistoryraw |
| -rw-r--r-- | 757 | default.nix | blobblamehistoryraw |
| -rwxr-xr-x | 830 | patch-fsharp-targets.sh | blobblamehistoryraw |
| -rw-r--r-- | 339 | placate-nuget.sh | blobblamehistoryraw |
| -rw-r--r-- | 341 | placate-paket.sh | blobblamehistoryraw |
| -rw-r--r-- | 573 | remove-duplicated-dlls.sh | blobblamehistoryraw |