Minor typo in HTML
Getty Ritter
10 years ago
| 18 | 18 | <li><code>gidl-mode</code> — minimal major mode for editing |
| 19 | 19 | <a href="https://github.com/GaloisInc/gidl"><code>gidl</code></a> interface files.</li> |
| 20 | 20 | <li><code>ndbl-mode</code> — minimal major mode for editing |
| 21 |
<a href="https://github.com/aisamanra/ndbl"><cod |
|
| 21 | <a href="https://github.com/aisamanra/ndbl"><code>ndbl</code></a> configuration files.</li> | |
| 22 | 22 | </ul> |
| 23 | 23 | </div> |
| 24 | 24 | </body> |