diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-26 21:48:08 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-27 08:56:42 +0200 |
| commit | 3f9271f38f49d38a583ec99ec1ddf81a45945e73 (patch) | |
| tree | 279834ddf763e8f0af87c4731ba3f8b6e8d5810c /portal/portal.mli | |
| parent | ebb05a49d55297a65b3c3ba9c3178d5be52d2f82 (diff) | |
docs(portal): make comment less weird
Diffstat (limited to 'portal/portal.mli')
| -rw-r--r-- | portal/portal.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/portal/portal.mli b/portal/portal.mli index b46a00f..d57a839 100644 --- a/portal/portal.mli +++ b/portal/portal.mli @@ -9,9 +9,7 @@ type socket (** This is the XML namespace of the underlying element stream. You can rely on it on your code, as an escape hatch, but you should probably not, - since the Portal interface is supposed to be agnostic. - - Still, bad implementations exist -- Use with care. *) + since the Portal interface is supposed to be agnostic. *) val xmlns : string (** [header domain portal] sends an initial stream header to the provided [portal] and |