Gerhard Hoffmann 378de9200c use a better name for file: git_changed_files_for_last_pull

2023-04-25 11:50:40 +02:00

..

post-checkout

Print the values of the passed parameters.

2023-04-12 15:59:57 +02:00

post-merge

use a better name for file: git_changed_files_for_last_pull

2023-04-25 11:50:40 +02:00