Merge branch 'dev' into python-renderer

2019-12-12 20:56:00 +01:00
parent b63da7bf09 87bc60bed0
commit 1278af202a
3 changed files with 1 additions and 3 deletions
--- a/version/version.c
+++ b/version/version.c
@@ -17,7 +17,6 @@
 * along with GDSII-Converter. If not, see <http://www.gnu.org/licenses/>.
 */

-
 /**
 * @defgroup version Version Number
 * See @ref git-version-num