diff --git a/etc/.distr b/etc/.distr index d1d6e82fa..97d50c132 100644 --- a/etc/.distr +++ b/etc/.distr @@ -5,3 +5,4 @@ pc_errors pc_rt_errors pop_push traps +ip_spec.t