diff options
| author | Naveen Michaud-Agrawal <naveen.michaudagrawal@gmail.com> | 2023-09-22 22:37:13 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-22 22:37:13 +0000 |
| commit | b11859bda3d370b89103a5ede7cf29c1dd84c888 (patch) | |
| tree | 001aa112a07acccf7c9ae0ef988af1114d01870a /virtual-programs/errors.folk | |
| parent | Update folk-cwervo host wifi (diff) | |
| parent | Make consistent with labelling (diff) | |
| download | folk-b11859bda3d370b89103a5ede7cf29c1dd84c888.tar.gz folk-b11859bda3d370b89103a5ede7cf29c1dd84c888.zip | |
Merge pull request #87 from FolkComputer/nm/titles
Make titles/footnotes consistent with labelling
Diffstat (limited to 'virtual-programs/errors.folk')
| -rw-r--r-- | virtual-programs/errors.folk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/virtual-programs/errors.folk b/virtual-programs/errors.folk index 555b45bb..28028710 100644 --- a/virtual-programs/errors.folk +++ b/virtual-programs/errors.folk @@ -7,5 +7,5 @@ When /p/ has error /err/ with info /info/ { } } - Wish $p has title $err -}
\ No newline at end of file + Wish $p is titled $err +} |