Skip to content

Commit

Permalink
#201
Browse files Browse the repository at this point in the history
  • Loading branch information
@enridaga
enridaga committed Dec 5, 2023
1 parent 20e5513 commit df9d132
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions update-docs.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@ git add formats/*
cp -f README.md docs/
cp -f Facade-X.md docs/
cp -f facade-x-ER.png docs/
cp -f Grammar.jpg docs/
cp -f BROWSER.md docs/
cp -f Configuration.md docs/
cp -f FUNCTIONS_AND_MAGIC_PROPERTIES.md docs/
Expand Down

0 comments on commit df9d132

Please sign in to comment.