Emil Tomažič (gradbenik): Razlika med redakcijama