navigator: hide lost+found directory
there's no useful information in that directory
Note: are there other directories that should be ignored?
Note: are there other directories that should be ignored?
Leave a comment
on 2011-09-27 07:57 *
By Vlad Dumitrescu
Component changed from None to project model
Component changed from None to project model
on 2012-06-01 09:22 *
By Vlad Dumitrescu
Milestone changed from backlog to deprecated because of xtext version
Milestone changed from backlog to deprecated because of xtext version
Updating tickets (#156, #747, #805, #806, #972, #194, #274, #335, #339, #375, #603, #610, #641, #642, #664, #665, #684, #743, #744, #759, #760, #762, #796, #800, #809, #820, #853, #856, #857, #884, #893, #900, #902, #916, #917, #953, #969, #990, #1002, #1003, #1004, #1011, #1012, #1044, #40, #119, #121, #129, #130, #145, #160, #244, #264, #265, #387, #392, #433, #454, #459, #463, #479, #508, #524, #529, #536, #589)
on 2013-01-09 07:21 *
By Vlad Dumitrescu
Milestone changed from deprecated because of xtext version to backlog
Milestone changed from deprecated because of xtext version to backlog
on 2015-09-15 10:11 *
By Vlad Dumitrescu
Found in version changed from 0.13.0 to -none-
Status changed from New to Fixed
Found in version changed from 0.13.0 to -none-
Status changed from New to Fixed