rename to match toml file

Browse Source

- goals.pl is used by both compound_goal.toml and multiple_goals.toml therefor renamed the later to share a common prefix with goals.pl, to keep them together

...

This commit is contained in:

Skgland

2023-12-04 22:23:04 +01:00

committed by Bennet Bleßmann

parent fcf2e2db05

commit 4df7e94d56

13 changed files with 6 additions and 6 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download Patch File Download Diff File Expand all files Collapse all files

0

tests/scryer/cli/issues/goals_multiple_goals.stderr Normal file