Merge pull request #18 from G-e-n-e-v-e-n-s-i-S/file-exists

Add exists_in_package script function
This commit is contained in:
GenevensiS
2024-09-26 15:22:15 +02:00
committed by GitHub
8 changed files with 79 additions and 4 deletions
+1
View File
@@ -113,3 +113,4 @@ These functions are built into the program, other [[type:function]]s can be defi
| [[fun:assert]] Check a condition for debugging purposes.
| [[fun:warning]] Output a warning message.
| [[fun:error]] Output an error message.
| [[fun:exists_in_package]] Checks if a file exists in a package.