From 63cc25d047bbce9600eca0ef472d3007d24ca4c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= Date: Thu, 31 May 2012 20:56:37 +0200 Subject: [PATCH] htdocs: Added link to the gedit plugin --- htdocs/index.php | 1 + 1 file changed, 1 insertion(+) diff --git a/htdocs/index.php b/htdocs/index.php index b8dc1b09d..10e92532c 100644 --- a/htdocs/index.php +++ b/htdocs/index.php @@ -51,6 +51,7 @@ as a plugin for your favorite IDE:

  • Code::Blocks - integrated
  • CodeLite - integrated
  • Eclipse - Cppcheclipse
    • +
  • gedit - gedit plugin
  • Hudson - Cppcheck Plugin
  • Jenkins - Cppcheck Plugin