0
I Use This!
Inactive

Commits : Listings

Analyzed 13 minutes ago. based on code collected about 5 hours ago.
May 03, 2023 — May 03, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Using get-monolite-latest instead of relying on built-in debian gmcs. More... about 10 years ago
Pass in the BUILD_NUMBER environment variable. As populated by Jenkins. More... about 10 years ago
Allow package to be built on squeeze More... about 10 years ago
Fix working directory More... over 10 years ago
Update gitignore More... over 10 years ago
Allow user to specify a version of mono to build More... over 10 years ago
Spin up a Vagrant box to build mono in. More... over 10 years ago
Merge pull request #4 from knocte/master More... over 10 years ago
Revert "build-mono-package: create "virtual" version 3.0.6.1, with locker's patch" More... over 10 years ago
Update README.md More... over 10 years ago
Merge pull request #2 from knocte/master More... over 10 years ago
Add a bash script to create a FSharp package More... over 10 years ago
build-mono-package: create "virtual" version 3.0.6.1, with locker's patch More... almost 11 years ago
build-mono-package: be quiet when checking for mono existence More... almost 11 years ago
proper 7d versioning More... almost 11 years ago
might be a good idea to include the whole thing... More... almost 11 years ago
Merge branch 'master' of github.com:7digital/7digital-mono More... almost 11 years ago
better naming for package More... almost 11 years ago
fix archive More... almost 11 years ago
Revert "Download the mono sources from git hub" More... almost 11 years ago
Revert "Update build-mono-package.bash" More... almost 11 years ago
Update build-mono-package.bash More... almost 11 years ago
pick the correct archive More... almost 11 years ago
Download the mono sources from git hub More... almost 11 years ago
only usr/lib is output More... almost 11 years ago
Improve version request message More... almost 11 years ago
.gitignore: remove, it's obsolete More... almost 11 years ago
libgdiplus: don't use /usr/local More... almost 11 years ago
libgdiplus: even better formatting More... almost 11 years ago
better formatting More... almost 11 years ago