Add Grav

Grav is a Fast, Simple, and Flexible, file-based Web-platform. http://getgrav.org
10 years ago · def3373492
parent abd4648231
commit def3373492
2 changed files with 12 additions and 0 deletions
--- a/src/apps.json
+++ b/src/apps.json
@ -2265,6 +2265,18 @@
 			},
 			"website": "www.grandstream.com"
 		},
 		"Grav": {
 			"cats": [
 				1
 			],
 			"implies": [
 				"PHP"
 			],
 			"meta": {
 				"generator": "Grav(?:\\s([\\d.]+))?\\;version:\\1"
 			},
 			"website": "getgrav.com"
 		},
 		"Gravatar": {
 			"cats": [
 				19
--- a/src/icons/Grav.png
+++ b/src/icons/Grav.png