Skip to content

Commit

Permalink
deploy: 26823a8
Browse files Browse the repository at this point in the history
  • Loading branch information
nojaf committed Nov 24, 2023
1 parent 6634077 commit 536a2e5
Show file tree
Hide file tree
Showing 4 changed files with 6 additions and 2 deletions.
2 changes: 1 addition & 1 deletion docs/end-users/Configuration.html
Original file line number Diff line number Diff line change
Expand Up @@ -273,7 +273,7 @@ <h1><a name="Configuration" class="anchor" href="#Configuration">Configuration</
commandline.<br />
Your IDE should respect your settings, however the implementation of that is editor specific. Setting the configuration via
UI might be available depending on the IDE.</p>
<table class="pre"><tr><td><pre><code>version: 6.3.0-alpha-003+08770d89d1490855e90d924a7622983761f69e2d</code></pre></td></tr></table>
<table class="pre"><tr><td><pre><code>version: 6.3.0-alpha-003+26823a85ed712c880509a1f09a41326e8f5cc583</code></pre></td></tr></table>
<h2><a name="Usage" class="anchor" href="#Usage">Usage</a></h2>
<p>Inside .editorconfig you can specify the file extension and code location to be use per config:</p>
<pre class="fssnip highlighted"><code lang="fsharp"><span class="pn">[</span><span class="pn">*.</span><span class="id">fs</span><span class="pn">]</span>
Expand Down
Binary file added images/users/fable.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
4 changes: 4 additions & 0 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -229,6 +229,10 @@ <h2 id="who-uses-fantomas">Who uses Fantomas?</h2>
<a href="https://github.com/fsprojects/FsHttp" target="_blank" class="tooltip">
<img src="./images/users/fshttp.png" alt="FsHttp logo">
<p class="tooltiptext">fsprojects/FsHttp</p>
</a>
<a href="https://fable.io/" target="_blank" class="tooltip">
<img src="./images/users/fable.png" alt="Fable">
<p class="tooltiptext">fable-compiler/fable</p>
</a><a href="#getting-started" id="your-logo-here" target="_self">
Your logo here?
</a>
Expand Down
2 changes: 1 addition & 1 deletion index.json

Large diffs are not rendered by default.

0 comments on commit 536a2e5

Please sign in to comment.