Skip to content

Commit

Permalink
Slight formatting fix in dev guide.
Browse files Browse the repository at this point in the history
  • Loading branch information
EtiennePerot committed Oct 3, 2024
1 parent 8585d81 commit 08ed707
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/dev.md
Original file line number Diff line number Diff line change
Expand Up @@ -51,5 +51,5 @@ When users want to install the Open WebUI code execution function or tool,
they can simply use the file directly in `🚢 /open-webui`.

However, when developing on this extension, you should only modify files in
`src/`. Then when creating pull requests, ensure that you have refreshed the
`🍝 /src`. Then when creating pull requests, ensure that you have refreshed the
files in `🚢 /open-webui` by running the appropriate script in `🏗️ /build`.

0 comments on commit 08ed707

Please sign in to comment.