Skip to content

Activity

Merge pull request #1004 from Happypig375/patch-5

Pull request merge
dsymepushed 3 commits to main • f2dc1a8…a5f1361 • 
21 days ago

Merge pull request #1003 from Happypig375/patch-4

Pull request merge
dsymepushed 2 commits to main • 0ba28b8…f2dc1a8 • 
25 days ago

Update index.md

dsymepushed 1 commit to main • 9bdf6f9…0ba28b8 • 
on Apr 25

Merge pull request #1000 from IanWitham/use-on-OS-formatting

Pull request merge
dsymepushed 3 commits to main • 41b7e05…9bdf6f9 • 
on Apr 22

Merge pull request #1001 from bbatsov/fix-lint-config4

Pull request merge
dsymepushed 2 commits to main • 2cf7680…41b7e05 • 
on Apr 22

Merge pull request #998 from bbatsov/fix-formatting

Pull request merge
dsymepushed 5 commits to main • 57d9f06…2cf7680 • 
on Apr 16

Merge pull request #999 from IanWitham/RemoveDupePaper

Pull request merge
dsymepushed 2 commits to main • 75f2300…57d9f06 • 
on Apr 16

Merge pull request #997 from bbatsov/fix-links

Pull request merge
dsymepushed 4 commits to main • f6e7c50…75f2300 • 
on Apr 15

Merge pull request #996 from IanWitham/robots

Pull request merge
dsymepushed 2 commits to main • a2cac42…f6e7c50 • 
on Apr 8

Merge pull request #991 from IanWitham/books

Pull request merge
dsymepushed 3 commits to main • 238b18b…a2cac42 • 
on Apr 7

Merge pull request #993 from bbatsov/move-testimonials

Pull request merge
dsymepushed 2 commits to main • 59b79ba…238b18b • 
on Apr 7

Merge pull request #992 from bbatsov/remove-dead-code

Pull request merge
dsymepushed 2 commits to main • 77294d5…59b79ba • 
on Apr 7

Merge pull request #987 from bbatsov/add-license

Pull request merge
dsymepushed 2 commits to main • 5f142e2…77294d5 • 
on Apr 6

Merge pull request #986 from IanWitham/add-linkedin

Pull request merge
dsymepushed 2 commits to main • 3ce5deb…5f142e2 • 
on Apr 5

Merge pull request #974 from bbatsov/remove-sponsors

Pull request merge
dsymepushed 2 commits to main • 4cdc81d…3ce5deb • 
on Apr 5

Merge pull request #983 from bbatsov/remove-legacy-bootstrapper

Pull request merge
dsymepushed 2 commits to main • f2c6fa9…4cdc81d • 
on Apr 5

Merge pull request #979 from bbatsov/editorconfig

Pull request merge
dsymepushed 2 commits to main • 61cb4c0…f2c6fa9 • 
on Apr 5

Merge pull request #975 from bbatsov/improve-html-formatting

Pull request merge
dsymepushed 2 commits to main • fdb7790…61cb4c0 • 
on Apr 5

Merge pull request #980 from bbatsov/lang-spec-improvements

Pull request merge
dsymepushed 6 commits to main • 2fa8288…fdb7790 • 
on Apr 5

Merge pull request #977 from IanWitham/NewBookEditions

Pull request merge
dsymepushed 3 commits to main • 720df6b…2fa8288 • 
on Apr 5

Merge pull request #976 from bbatsov/remove-legacy-build-scripts

Pull request merge
dsymepushed 2 commits to main • d38ce66…720df6b • 
on Apr 4

Merge pull request #972 from bbatsov/remove-gh-pages

Pull request merge
dsymepushed 3 commits to main • 54b32b3…d38ce66 • 
on Apr 4

add link

dsymepushed 1 commit to main • 6b2241f…54b32b3 • 
on Apr 3

add link

dsymepushed 1 commit to main • bba484a…6b2241f • 
on Apr 3

add link

dsymepushed 1 commit to main • 12835d9…bba484a • 
on Apr 3

tweak navbar

dsymepushed 1 commit to main • 75f4356…12835d9 • 
on Apr 3

remove old file

dsymepushed 1 commit to main • a4233e1…75f4356 • 
on Apr 3
dsymepushed 2 commits to main • 288fd2d…a4233e1 • 
on Apr 3

Deleted branch

Merge pull request #959 from fsharp/dependabot/bundler/json-2.10.2

Pull request merge
dsymepushed 2 commits to main • a0b694a…288fd2d • 
on Apr 3