aboutsummaryrefslogtreecommitdiff
path: root/monitor/.gitignore
blob: edfeac23c40a1e38b266bf606a0b790818d0ef2c (plain)
1
2
/brep-monitor
/*-options.?xx