Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Alethe
- Activity
- Members
- Labels
- Releases
- Model registry
- Model experiments

Snippets Groups Projects

!10

Fix potential typo in hole rule?

Review changes
Download
Patches
Plain diff

Merged Fix potential typo in hole rule?

hole into master

Overview 1
Commits 1
Pipelines 1
Changes 1

Merged Lachnitt requested to merge hole into master 8 months ago

Overview 1
Commits 1
Pipelines 1
Changes 1

Does the number of arguments need to be the same as the number of premises? If so this PR can be deleted otherwise, it fixes this typo.

Merge request reports

0 Assignees

None

Select assignees

0 Reviewers

None

Request review from

Loading

Labels

0

None

0

None

Select labels

Manage project labels

Milestone

None

None

None

Time tracking

No estimate or time spent

0

0 Participants

Compare

master (base)

and

latest version

1 commit, 8 months ago

Compare changes

Side-by-side
Inline

Show whitespace changes

Show one file at a time

Files

1

Search (e.g. *.vue) (Ctrl+P)

Loading