comparison printable_cards/xhtml/cmc/cmunorm-webfont.eot @ 83:8dd32aa49614

docker: pid files are put in /tmp to avoid conflict when restarting a container
author Goffi <goffi@goffi.org>
date Thu, 18 Feb 2016 17:19:50 +0100
parents dfc5c6be7761
children
comparison
equal deleted inserted replaced
82:5824dee4ea2b 83:8dd32aa49614