(no commit message)

diff --git a/docs/pinmux.mdwn b/docs/pinmux.mdwn
index 73ce6a00c3fb6a601d024dd091855d816ec7f9c2..5dcc19df330acdae817ddc2f809f0c2bb8984e85 100644 (file)
--- a/docs/pinmux.mdwn
+++ b/docs/pinmux.mdwn
@@ -170,7 +170,7 @@ there will be a lag on the output data compared to the incoming
 
 [[!img gpio_block.png]]
 
-# nMigen Core/Pad Connection + JTAG Mux
+# Core/Pad Connection + JTAG Mux
 
 Diagram constructed from the nmigen plat.py file.