Subversion Repositories wimsdev

(root)/ – Rev 6881

Rev 6881 2013-08-13 14:39:01
Author: bpr
Log message:
[minor/search engine] should have been already in previous commits on search engine

Path	Last modification			Log	RSS
tags/	37	6590 d 10 h	reyssat	Log	RSS
trunk/	6881	4370 d 12 h	bpr	Log	RSS