aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


es/lean.scm?id=5d94702efeb26d5c1651d9a8898d23b53d850c63'>lean.scm
AgeCommit message (Expand)Author


2020-01-17Update email address for Amin Bandali....Amin Bandali


2020-01-03gnu: Add lean....Amin Bandali