diff hotspot/.project @ 16853:bcfb6f72ace6

Made replacements verifier more robust.
author Christian Humer <christian.humer@gmail.com>
date Mon, 18 Aug 2014 19:00:41 +0200
parents 5f692474fba3
children 8f2fb6bec986
line wrap: on
line diff