RetroSearch Browse

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/arduino/arduino-lint/commit/faf5c153a535cf58ca75996c6276f1da80ac76a5 below:

Allow use of code under later versions of GPL · arduino/arduino-lint@faf5c15 · GitHub

Expand file treeCollapse file tree 92 files changed

+265

-162

lines changed Original file line number Diff line number Diff line change


 @@ -2,6 +2,7 @@

2 2


 "$schema": "http://json-schema.org/draft-07/schema#",

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-boards-txt-definitions-schema.json",

4 4


 "title": "Shared definitions for the Arduino boards.txt schemas",

5

+
 "$comment": "This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

5 6


 "definitions": {

6 7


 "propertiesObjects": {

7 8


 "menu": {

Original file line number Diff line number Diff line change


 @@ -3,7 +3,7 @@

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-boards-txt-permissive-schema.json",

4 4


 "title": "Arduino boards.txt JSON permissive schema",

5 5


 "description": "boards.txt contains the boards definitions of Arduino platforms. See: https://arduino.github.io/arduino-cli/latest/platform-specification/#boardstxt",

6

-
 "$comment": "For information on the boards.txt format, see https://godoc.org/github.com/arduino/go-properties-orderedmap",

6

+
 "$comment": "For information on the boards.txt format, see https://godoc.org/github.com/arduino/go-properties-orderedmap. This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

7 7


 "type": "object",

8 8


 "properties": {

9 9


 "menu": {

Original file line number Diff line number Diff line change


 @@ -3,7 +3,7 @@

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-boards-txt-schema.json",

4 4


 "title": "Arduino boards.txt JSON schema",

5 5


 "description": "boards.txt contains the boards definitions of Arduino platforms. See: https://arduino.github.io/arduino-cli/latest/platform-specification/#boardstxt",

6

-
 "$comment": "For information on the boards.txt format, see https://godoc.org/github.com/arduino/go-properties-orderedmap",

6

+
 "$comment": "For information on the boards.txt format, see https://godoc.org/github.com/arduino/go-properties-orderedmap. This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

7 7


 "type": "object",

8 8


 "properties": {

9 9


 "menu": {

Original file line number Diff line number Diff line change


 @@ -3,7 +3,7 @@

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-boards-txt-strict-schema.json",

4 4


 "title": "Arduino boards.txt JSON strict schema",

5 5


 "description": "boards.txt contains the boards definitions of Arduino platforms. See: https://arduino.github.io/arduino-cli/latest/platform-specification/#boardstxt",

6

-
 "$comment": "For information on the boards.txt format, see https://godoc.org/github.com/arduino/go-properties-orderedmap",

6

+
 "$comment": "For information on the boards.txt format, see https://godoc.org/github.com/arduino/go-properties-orderedmap. This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

7 7


 "type": "object",

8 8


 "properties": {

9 9


 "menu": {

Original file line number Diff line number Diff line change


 @@ -2,6 +2,7 @@

2 2


 "$schema": "http://json-schema.org/draft-07/schema#",

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-library-properties-definitions-schema.json",

4 4


 "title": "Shared definitions for the Arduino library.properties schemas",

5

+
 "$comment": "This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

5 6


 "type": "object",

6 7


 "definitions": {

7 8


 "general": {

Original file line number Diff line number Diff line change


 @@ -3,7 +3,7 @@

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-library-properties-permissive-schema.json",

4 4


 "title": "Arduino library.properties JSON permissive schema",

5 5


 "description": "library.properties is the metadata file for Arduino libraries. This schema defines the minimum requirements for this file. See: https://arduino.github.io/arduino-cli/latest/library-specification/#library-metadata",

6

-
 "$comment": "For information on the Arduino library.properties format, see https://godoc.org/github.com/arduino/go-properties-orderedmap",

6

+
 "$comment": "For information on the Arduino library.properties format, see https://godoc.org/github.com/arduino/go-properties-orderedmap. This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

7 7


 "type": "object",

8 8


 "properties": {

9 9


 "name": {

Original file line number Diff line number Diff line change


 @@ -3,7 +3,7 @@

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-library-properties-schema.json",

4 4


 "title": "Arduino library.properties JSON schema",

5 5


 "description": "library.properties is the metadata file for Arduino libraries. See: https://arduino.github.io/arduino-cli/latest/library-specification/#library-metadata",

6

-
 "$comment": "For information on the Arduino library.properties format, see https://godoc.org/github.com/arduino/go-properties-orderedmap",

6

+
 "$comment": "For information on the Arduino library.properties format, see https://godoc.org/github.com/arduino/go-properties-orderedmap. This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

7 7


 "type": "object",

8 8


 "properties": {

9 9


 "name": {

Original file line number Diff line number Diff line change


 @@ -3,7 +3,7 @@

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-library-properties-strict-schema.json",

4 4


 "title": "Arduino library.properties strict JSON schema",

5 5


 "description": "library.properties is the metadata file for Arduino libraries. This schema defines the recommended format. See: https://arduino.github.io/arduino-cli/latest/library-specification/#library-metadata",

6

-
 "$comment": "For information on the Arduino library.properties format, see https://godoc.org/github.com/arduino/go-properties-orderedmap",

6

+
 "$comment": "For information on the Arduino library.properties format, see https://godoc.org/github.com/arduino/go-properties-orderedmap. This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

7 7


 "type": "object",

8 8


 "properties": {

9 9


 "name": {

Original file line number Diff line number Diff line change


 @@ -2,6 +2,7 @@

2 2


 "$schema": "http://json-schema.org/draft-07/schema#",

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-package-index-definitions-schema.json",

4 4


 "title": "Shared definitions for the Arduino Package Index schemas",

5

+
 "$comment": "This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

5 6


 "definitions": {

6 7


 "root": {

7 8


 "base": {

Original file line number Diff line number Diff line change


 @@ -3,6 +3,7 @@

3 3


 "$id": "https://raw.githubusercontent.com/arduino/arduino-lint/main/etc/schemas/arduino-package-index-permissive-schema.json",

4 4


 "title": "Arduino Package Index JSON permissive schema",

5 5


 "description": "Package indexes define Arduino hardware packages. See: https://arduino.github.io/arduino-cli/latest/package_index_json-specification/. This schema defines the minimum accepted data format.",

6

+
 "$comment": "This is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.",

6 7


 "allOf": [

7 8

8 9


 "$ref": "arduino-package-index-definitions-schema.json#/definitions/root/permissive/object"

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4