From a7f7abf42face1ccf7348d38cf90c91261b1a509 Mon Sep 17 00:00:00 2001 From: Albert Astals Cid Date: Tue, 10 May 2011 22:58:49 +0100 Subject: Convert these extracomment to comment Because: * We have a bug in our scripts that makes extracomment not work (will try to fix this asap) * Makes sense to be a comment since we want it to be a disambiguation text * KUIT markers (e.g. @label) need to be in comment --- src/cleardata.ui | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/cleardata.ui b/src/cleardata.ui index 2b9c9148..2ceb3354 100644 --- a/src/cleardata.ui +++ b/src/cleardata.ui @@ -14,7 +14,7 @@ - Clear Private Data + Clear Private Data -- cgit v1.2.1