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