IOCDOSEApp/src/devTimestampWorkaround.dbd
changeset 0 50cbed80af1a
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/IOCDOSEApp/src/devTimestampWorkaround.dbd	Wed Jun 05 14:34:28 2013 +0200
@@ -0,0 +1,1 @@
+device(stringin,INST_IO,devSiTimestampWorkaround,"Soft Timestamp WA")