summaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAgeLines
* [coq/en] Fix code widthSimon Shine2019-11-26-88/+120
| | | | | | | Many lines exceed the 80 character limit that makes the code wrap around on the website. This mainly addresses comments. The comment style has been preserved. For the code lines that exceeded 80 characters, I have not adhered to any style.
* Back to coq highlightingAdam Bard2019-11-24-1/+1
|
* Merge pull request #3659 from Anabaac/patch-4Divay Prakash2019-11-24-1/+1
|\ | | | | [css/pt-br] Typos
| * Merge branch 'master' into patch-4Divay Prakash2019-11-24-304/+3334
| |\ | |/ |/|
* | Merge pull request #3656 from Anabaac/patch-2Divay Prakash2019-11-24-1/+1
|\ \ | | | | | | [yaml/pt-br] Small typo
| * \ Merge branch 'master' into patch-2Divay Prakash2019-11-24-297/+3327
| |\ \
| * | | [yaml/pt-br] Small typoAna Beatriz Cavalcanti2019-10-01-2/+2
| | | |
* | | | Merge pull request #3658 from rmuliterno/patch-2Divay Prakash2019-11-24-3/+3
|\ \ \ \ | | | | | | | | | | [language/lang-code] Small Typos Fix
| * | | | Small Typos FixRenan Muliterno Ferreira2019-10-01-3/+3
| |/ / /
* | | | Merge pull request #3657 from Anabaac/patch-3Divay Prakash2019-11-24-4/+4
|\ \ \ \ | |_|/ / |/| | | [stylus/pt-br] Typos
| * | | [stylus/pt-br] TyposAna Beatriz Cavalcanti2019-10-01-4/+4
| |/ /
* | | Merge pull request #3655 from rmuliterno/patch-1Divay Prakash2019-11-24-9/+10
|\ \ \ | | | | | | | | Adding more translations
| * \ \ Merge branch 'master' into patch-1Divay Prakash2019-11-24-287/+3317
| |\ \ \ | |/ / / |/| | |
* | | | Merge pull request #3650 from daniloyamauti/patch-11Divay Prakash2019-11-24-1/+3
|\ \ \ \ | | | | | | | | | | [csharp/pt-br] Missing translation
| * \ \ \ Merge branch 'master' into patch-11Divay Prakash2019-11-24-287/+3316
| |\ \ \ \ | |/ / / / |/| | | |
* | | | | Merge pull request #3651 from daniloyamauti/patch-12Divay Prakash2019-11-24-3/+3
|\ \ \ \ \ | | | | | | | | | | | | [csharp/pt-br] Missing translation
| * | | | | [csharp/pt-br] Missing translationdaniloyamauti2019-10-01-3/+3
| | |_|/ / | |/| | |
* | | | | Merge pull request #3653 from daniloyamauti/patch-14Divay Prakash2019-11-24-3/+3
|\ \ \ \ \ | | | | | | | | | | | | [csharp/pt-br] Missing translation
| * | | | | [csharp/pt-br] Missing translationdaniloyamauti2019-10-01-3/+3
| |/ / / /
* | | | | Merge pull request #3652 from daniloyamauti/patch-13Divay Prakash2019-11-24-3/+3
|\ \ \ \ \ | | | | | | | | | | | | [csharp/pt-br] Missing translation
| * | | | | [csharp/pt-br] Missing translationdaniloyamauti2019-10-01-3/+3
| |/ / / /
* | | | | Merge pull request #3648 from arfurlaneto/patch-13Divay Prakash2019-11-24-1/+1
|\ \ \ \ \ | | | | | | | | | | | | [typescript/pt-br] Better translation
| * | | | | Update typescript-pt.html.markdownAntonio Roberto Furlaneto2019-10-01-1/+1
| |/ / / /
* | | | | Merge pull request #3647 from daniloyamauti/patch-10Divay Prakash2019-11-24-1/+1
|\ \ \ \ \ | | | | | | | | | | | | [csharp/pt-br] Missing translation
| * | | | | [csharp/pt-br] Missing translationdaniloyamauti2019-10-01-1/+1
| |/ / / /
* | | | | Merge pull request #3645 from arfurlaneto/patch-12Divay Prakash2019-11-24-1/+1
|\ \ \ \ \ | | | | | | | | | | | | [latex/pt-br] Grammar error
| * | | | | [latex/pt-br] Grammar errorAntonio Roberto Furlaneto2019-10-01-1/+1
| |/ / / /
* | | | | Merge pull request #3644 from arfurlaneto/patch-11Divay Prakash2019-11-24-1/+1
|\ \ \ \ \ | | | | | | | | | | | | [julia/pt-br] Better translation
| * | | | | [julia/pt-br] Better translationAntonio Roberto Furlaneto2019-10-01-1/+1
| |/ / / /
* | | | | Merge pull request #3640 from arfurlaneto/patch-10Divay Prakash2019-11-24-2/+2
|\ \ \ \ \ | | | | | | | | | | | | [csharp/pt-br] Missing translation
| * | | | | [csharp/pt-br] Missing translationAntonio Roberto Furlaneto2019-10-01-2/+2
| |/ / / /
* | | | | Merge pull request #3649 from ferfedel/patch-12Divay Prakash2019-11-24-4/+4
|\ \ \ \ \ | | | | | | | | | | | | [yaml/pt-br] Translation adjustments
| * | | | | [yaml/pt-br] Translation adjustmentsFer2019-10-01-4/+4
| |/ / / /
* | | | | Merge pull request #3646 from ferfedel/patch-11Divay Prakash2019-11-24-11/+11
|\ \ \ \ \ | | | | | | | | | | | | [bash/pt-br] Translation adjustments
| * | | | | [bash/pt-br] Translation adjustmentsFer2019-10-01-11/+11
| |/ / / /
* | | | | Merge pull request #3643 from ferfedel/patch-10Divay Prakash2019-11-24-11/+11
|\ \ \ \ \ | | | | | | | | | | | | [css/pt-br] Translation adjustments
| * | | | | [css/pt-br] Translation adjustmentsFer2019-10-01-11/+11
| |/ / / /
* | | | | Merge pull request #3641 from victorwpbastos/patch-10Divay Prakash2019-11-24-2/+2
|\ \ \ \ \ | | | | | | | | | | | | [typescript/pt-br] Small typo
| * | | | | [typescript/pt-br] Small typoVictor Bastos2019-10-01-2/+2
| |/ / / /
* | | | | Merge pull request #3639 from victorwpbastos/patch-9Divay Prakash2019-11-24-0/+0
|\ \ \ \ \ | | | | | | | | | | | | [groovy/pt-br] Small typo
| * | | | | [groovy/pt-br] Small typoVictor Bastos2019-10-01-1/+1
| | | | | |
| * | | | | [groovy/pt-br] Small typoVictor Bastos2019-10-01-1/+1
| |/ / / /
* | | | | Merge pull request #3638 from victorwpbastos/patch-8Divay Prakash2019-11-24-1/+1
|\ \ \ \ \ | | | | | | | | | | | | [cypher/pt-br] Small typo
| * | | | | [cypher/pt-br] Small typoVictor Bastos2019-10-01-1/+1
| |/ / / /
* | | | | Merge pull request #3637 from victorwpbastos/patch-7Divay Prakash2019-11-24-1/+1
|\ \ \ \ \ | | | | | | | | | | | | [php/pt-br] Small typo
| * | | | | [php/pt-br] Small typoVictor Bastos2019-10-01-1/+1
| |/ / / /
* | | | | Merge pull request #3636 from chriszimmerman/en-csharp-formattingDivay Prakash2019-11-24-20/+22
|\ \ \ \ \ | | | | | | | | | | | | [en/csharp] - Fixes the spacing of comments in the English C# documentation
| * | | | | Fixes the spacing of comments in the English C# documentationChris Zimmerman2019-09-30-20/+22
| |/ / / /
* | | | | Merge pull request #3635 from chriszimmerman/en-javascript-es6Divay Prakash2019-11-24-0/+42
|\ \ \ \ \ | | | | | | | | | | | | [en/js] - Adds documentation for some basic ES6 features.
| * | | | | Adds documentation for some basic ES6 features.Chris Zimmerman2019-09-30-0/+42
| |/ / / /