project.py: fix west diff --manifest to use `manifest-rev`#748

Merged

marc-hb merged 1 commit intozephyrproject-rtos:mainfrom marc-hb:diff-manifest-rev

Oct 9, 2024

+10-2

Commits on Oct 8, 2024

project.py: fix west diff --manifest to use manifest-rev
marc-hb
committed