Skip to content
This repository has been archived by the owner on Aug 8, 2024. It is now read-only.

Commit

Permalink
Deployed 8d4eda7 with MkDocs version: 1.1.2
Browse files Browse the repository at this point in the history
  • Loading branch information
@lerno
lerno committed Oct 29, 2023
1 parent 903fceb commit f07d600
Show file tree
Hide file tree
Showing 5 changed files with 49 additions and 49 deletions.
2 changes: 1 addition & 1 deletion anyinterfaces/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -303,7 +303,7 @@ <h3 id="implementing-the-interface">Implementing the interface</h3>
</code></pre>
<p>If a type declares an interface but does not implement its methods, then that is compile time error. However,
methods marked <code>@optional</code> does not need to be implemented:</p>
<pre><code>protocol VeryOptional
<pre><code>interface VeryOptional
{
fn void test();
fn void do_something(int x, void* ptr) @optional;
Expand Down
2 changes: 1 addition & 1 deletion index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -295,5 +295,5 @@ <h4 id="thank-yous">Thank yous</h4>

<!--
MkDocs version : 1.1.2
Build Date UTC : 2023-10-28 10:53:49.349728+00:00
Build Date UTC : 2023-10-29 14:59:05.299403+00:00
-->
2 changes: 1 addition & 1 deletion search/search_index.json
View file

Large diffs are not rendered by default.

92 changes: 46 additions & 46 deletions sitemap.xml
View file
Original file line number Diff line number Diff line change
@@ -1,187 +1,187 @@
<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url><url>
<loc>None</loc>
<lastmod>2023-10-28</lastmod>
<lastmod>2023-10-29</lastmod>
<changefreq>daily</changefreq>
</url>
</urlset>
Binary file modified sitemap.xml.gz
View file
Binary file not shown.

0 comments on commit f07d600

Please sign in to comment.