# HG changeset patch
# User casties
# Date 1436284116 -7200
# Node ID 5e2bf3cde5431ea56fe4b255bd29e436cd41adcf
# Parent  797c6051e4892da09093b7c40dc69bf37e39bab9
nicer log message.

diff -r 797c6051e489 -r 5e2bf3cde543 openmindattribute/templates/openmindattribute_identifier.tpl.php
--- a/openmindattribute/templates/openmindattribute_identifier.tpl.php	Tue Jul 07 17:45:11 2015 +0200
+++ b/openmindattribute/templates/openmindattribute_identifier.tpl.php	Tue Jul 07 17:48:36 2015 +0200
@@ -1,1 +1,2 @@
-<?php print $attributes['identifier']['ov'] ?>
\ No newline at end of file
+<?php print ((int)$attributes['identifier']['ov']) ?>
+<!-- <?php print $attributes['identifier']['ov'] ?> -->
\ No newline at end of file