Francesco Abbate 7e9b2f30da Treat final '/' or '/$' in ignore rule as part of the pattern ... Evolve the rule for directory in ignore_files to be more natural and easy to understand. When a final '/' or '/$' is found we consider the pattern to match a directory and the pattern is not modifed. In turns, is used, before matching a directory's name a final '/' is appended to its name before checking if it matches the pattern. With the previous rule a final '/' in the pattern meant also a directory but the '/' was removed from the pattern.		2022-01-13 16:43:37 +01:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Treat final '/' or '/$' in ignore rule as part of the pattern	2022-01-13 16:43:37 +01:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Fix undue asserts in dmon_extra	2022-01-09 23:26:11 +01:00