witx files: very top comment is not a doc

WebAssembly · Nov 12, 2019 · 775bfa2 · 775bfa2
1 parent b269375
commit 775bfa2
Show file tree

Hide file tree

Showing 6 changed files with 27 additions and 27 deletions.
diff --git a/phases/ephemeral/witx/typenames.witx b/phases/ephemeral/witx/typenames.witx
@@ -1,9 +1,9 @@
-;;; Type names used by low-level WASI interfaces.
+;; Type names used by low-level WASI interfaces.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (typename $size_t u32)
 

diff --git a/phases/ephemeral/witx/wasi_ephemeral_preview.witx b/phases/ephemeral/witx/wasi_ephemeral_preview.witx
@@ -1,10 +1,10 @@
-;;; WASI Preview. This is an evolution of the API that WASI initially
-;;; launched with.
+;; WASI Preview. This is an evolution of the API that WASI initially
+;; launched with.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (use "typenames.witx")
 

diff --git a/phases/old/snapshot_0/witx/typenames.witx b/phases/old/snapshot_0/witx/typenames.witx
@@ -1,9 +1,9 @@
-;;; Type names used by low-level WASI interfaces.
+;; Type names used by low-level WASI interfaces.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (typename $size_t u32)
 

diff --git a/phases/old/snapshot_0/witx/wasi_unstable.witx b/phases/old/snapshot_0/witx/wasi_unstable.witx
@@ -1,10 +1,10 @@
-;;; WASI Preview. This is an evolution of the API that WASI initially
-;;; launched with.
+;; WASI Preview. This is an evolution of the API that WASI initially
+;; launched with.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (use "typenames.witx")
 

diff --git a/phases/snapshot/witx/typenames.witx b/phases/snapshot/witx/typenames.witx
@@ -1,9 +1,9 @@
-;;; Type names used by low-level WASI interfaces.
+;; Type names used by low-level WASI interfaces.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (typename $size_t u32)
 

diff --git a/phases/snapshot/witx/wasi_snapshot_preview1.witx b/phases/snapshot/witx/wasi_snapshot_preview1.witx
@@ -1,10 +1,10 @@
-;;; WASI Preview. This is an evolution of the API that WASI initially
-;;; launched with.
+;; WASI Preview. This is an evolution of the API that WASI initially
+;; launched with.
 ;;
-;;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
+;; Some content here is derived from [CloudABI](https://github.com/NuxiNL/cloudabi).
 ;;
-;;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
-;;; for an explanation of what that means.
+;; This is a `witx` file. See [here](https://github.com/WebAssembly/WASI/tree/master/docs/witx.md)
+;; for an explanation of what that means.
 
 (use "typenames.witx")