Index: firmware/App/Drivers/CPLD.c
===================================================================
diff -u -ra7bf3ca23ea37a61000379facae628a31b3ecc59 -r8e6488e189349e0f87f2fb21fa8176aced0b5a43
--- firmware/App/Drivers/CPLD.c	(.../CPLD.c)	(revision a7bf3ca23ea37a61000379facae628a31b3ecc59)
+++ firmware/App/Drivers/CPLD.c	(.../CPLD.c)	(revision 8e6488e189349e0f87f2fb21fa8176aced0b5a43)
@@ -52,7 +52,6 @@
  * @details
  * Inputs : none
  * Outputs : CPLD module signal outputs set to initial states.
- * @param none
  * @return none
  *************************************************************************/
 void initCPLD( void )
@@ -72,7 +71,6 @@
  * @details
  * Inputs : none
  * Outputs : watchdog pet signal toggled.
- * @param level : none
  * @return none
  *************************************************************************/
 void toggleCPLDWatchdog( void )
@@ -87,7 +85,6 @@
  * @details
  * Inputs : Signal from CPLD on watchdog expired pin.
  * Outputs : none
- * @param none
  * @return level : (LOW or HIGH)
  *************************************************************************/
 PIN_SIGNAL_STATE_T getCPLDWatchdogExpired( void )
@@ -104,7 +101,7 @@
  * @details
  * Inputs : none
  * Outputs : alarm lamp green signal set to given level.
- * @param level : LOW or HIGH
+ * @param level LOW or HIGH
  * @return none
  *************************************************************************/
 void setCPLDLampGreen( PIN_SIGNAL_STATE_T level )
@@ -126,7 +123,7 @@
  * @details
  * Inputs : none
  * Outputs : alarm lamp blue signal set to given level.
- * @param level : LOW or HIGH
+ * @param level LOW or HIGH
  * @return none
  *************************************************************************/
 void setCPLDLampBlue( PIN_SIGNAL_STATE_T level )
@@ -148,7 +145,7 @@
  * @details
  * Inputs : none
  * Outputs : alarm lamp red signal set to given level.
- * @param level : LOW or HIGH
+ * @param level LOW or HIGH
  * @return none
  *************************************************************************/
 void setCPLDLampRed( PIN_SIGNAL_STATE_T level )