Merge pull request #596 from Martii/gmpDocTypo

Typo for GMP title Auto-merge
OpenUserJS · Mar 5, 2015 · 1de2259 · 1de2259
2 parents 612ee26 + 6c77359
commit 1de2259
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/views/includes/documents/Greasemonkey-Port-for-SeaMonkey.md b/views/includes/documents/Greasemonkey-Port-for-SeaMonkey.md
@@ -1,4 +1,4 @@
-## Greasemonkey for SeaMonkey
+## Greasemonkey Port for SeaMonkey
 ![Greasemonkey icon][greasemonkeyPortIcon]
 
 Greasemonkey Port is a userscript manager for SeaMonkey, originally written by Aaron Boodman and currently SeaMonkey front-end maintained by Marti, Ratty and/or Farby with some backend support from Anthony Lieuallen and Johan Sundström. It is the first extension to allow userscripts to be run in a web browser and is a near parallel branch of Greasemonkey itself. Originally Greasemonkey contained SeaMonkey support and is now split off.