From 3be488277ce46005570f08888fbf3125b9187c88 Mon Sep 17 00:00:00 2001 From: ymherklotz Date: Sat, 16 Jan 2021 22:17:24 +0000 Subject: deploy: 5388aa50c0f6d329bbb10109369e9bf809c55a3e --- docs/using-vericert/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/using-vericert') diff --git a/docs/using-vericert/index.html b/docs/using-vericert/index.html index 6d9d6f7..750e168 100644 --- a/docs/using-vericert/index.html +++ b/docs/using-vericert/index.html @@ -1,4 +1,4 @@ -Using Vericert | Vericert -
+Using Vericert | Vericert +
Using Vericert -

Vericert can be used to translate a subset of C into Verilog.

\ No newline at end of file +

Vericert can be used to translate a subset of C into Verilog.

\ No newline at end of file -- cgit