Preprocess jsrc/X if it is newer than src/X ; make src/X read-only to avoid...
Preprocess jsrc/X if it is newer than src/X ; make src/X read-only to avoid editing generated files.
Gitlab has been updated. More info here.
Preprocess jsrc/X if it is newer than src/X ; make src/X read-only to avoid editing generated files.