##// END OF EJS Templates
templater: ignore orig/rej files...
timeless -
r28403:d2e154dd default
parent child Browse files
Show More
@@ -891,6 +891,8 b' def stylelist():'
891 stylelist = []
891 stylelist = []
892 for file in dirlist:
892 for file in dirlist:
893 split = file.split(".")
893 split = file.split(".")
894 if split[-1] in ('orig', 'rej'):
895 continue
894 if split[0] == "map-cmdline":
896 if split[0] == "map-cmdline":
895 stylelist.append(split[1])
897 stylelist.append(split[1])
896 return ", ".join(sorted(stylelist))
898 return ", ".join(sorted(stylelist))
General Comments 0
You need to be logged in to leave comments. Login now