The list of contributors is an unfortunate GitHub issue -- if a file is
moved, commits from before the move aren't used to compute that list. If
you click on blame on the page, it'll show the expected authorship.
Sam
On Sat, Feb 21, 2015, 10:11 PM Robby Findler
wrote:
> I write lots and, sadly,
I write lots and, sadly, manually indent everything.
There is a start on this but there are still some problems to be
ironed out. You can find the code here:
https://github.com/racket/gui/blob/master/gui-lib/scribble/private/indentation.rkt
It shows up in DrRacket when you type esc;q (where i
2 matches
Mail list logo