Milan Kral
|
35757f928a
|
use HTTPS URL instead of HTTP URL when possible
|
2019-12-19 14:26:41 +01:00 |
|
rbasso
|
baf5a22e8d
|
Fix git clone typo in CONTRIBUTING.md (#4568)
|
2018-11-06 11:59:52 +01:00 |
|
Ahmad Salim Al-Sibahi
|
d3c4842afe
|
Update CONTRIBUTING.md
|
2017-08-05 16:02:10 +02:00 |
|
Ahmad Salim Al-Sibahi
|
deaa136bc1
|
Update CONTRIBUTING.md
|
2017-08-05 15:59:02 +02:00 |
|
Ahmad Salim Al-Sibahi
|
56cd3287c3
|
Update CONTRIBUTING.md
|
2017-08-05 15:54:22 +02:00 |
|
Ahmad Salim Al-Sibahi
|
bb25d49671
|
Removed reference to now deprecated dragon egg process
|
2016-06-19 23:07:47 +02:00 |
|
Leon Schoorl
|
aa29d90447
|
Update links in CONTRIBUTING.md
|
2016-05-10 14:34:58 +02:00 |
|
Jeremy W. Sherman
|
ffa41abb50
|
CONTRIBUTING.md: Fix typo "Factroy" -> "Factory"
|
2015-10-12 00:25:54 -04:00 |
|
Edwin Brady
|
8a41916a59
|
Tidying CONTRIBUTING.md
|
2015-03-29 17:10:03 +01:00 |
|
Jan de Muijnck-Hughes
|
4a1fcdd7ae
|
Updated wording in CONTRIBUTING.md
|
2015-03-24 07:46:01 +00:00 |
|
Jan de Muijnck-Hughes
|
fe3d1f7c79
|
Updates to contributing.md
1. Made explicit rational behind the libraries in `libs`.
2. Made explicit where contributions shoule be made.
|
2015-03-23 09:57:31 +00:00 |
|
David Raymond Christiansen
|
d29fc05e27
|
Add note to CONTRIBUTING about base/contrib
|
2015-03-19 21:08:03 +01:00 |
|
David Raymond Christiansen
|
5a1d6a170c
|
Remove name of Idris from code block
|
2015-03-19 21:02:37 +01:00 |
|
Jan de Muijnck-Hughes
|
6b1f829056
|
Updated contributed.md.
The PR adds information and best practises pertaining to contributing to the `Idris` prelude and base.
This informaton has been culled from information on the Idris Wiki and past pull requests, and only supports existing judgements made.
See:
+ ba6f0ef100
+ https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-April-May-2014
|
2014-10-15 14:09:53 +01:00 |
|
Jan de Muijnck-Hughes
|
a306c33442
|
Updates to contributing guidelines.
+ Fixed markup
+ Introduced new sectioning
+ Updated list on contributors.
|
2014-01-22 12:10:23 +00:00 |
|
David Christiansen
|
0c0d4143d7
|
Add campsite rule to CONTRIBUTING.md
|
2013-12-18 20:02:33 +01:00 |
|
Jan de Muijnck-Hughes
|
e8ab848144
|
Added contributing guidelines.
|
2013-12-10 17:11:21 +00:00 |
|