comparison Database/Worklists/Encodings/issue49-latin1.wl @ 159:616da104a996

fix for ubuntu 18.04
author am@osimis.io
date Fri, 17 Aug 2018 14:49:59 +0200
parents 7aee4cc64fca
children
comparison
equal deleted inserted replaced
158:df1f9946571c 159:616da104a996