- only grep for line that actually start with "Options" (ignore commented lines) - add counter of activated DG-IDs to headermaster
parent
582173307a
commit
1206c4f1bf
Loading…
Reference in new issue