Lines Matching full:misc
144 @status("Misc/ACKS updated", modal=True)
146 """Check if Misc/ACKS has been changed."""
147 return os.path.join('Misc', 'ACKS') in file_paths
150 @status("Misc/NEWS updated", modal=True)
152 """Check if Misc/NEWS has been changed."""
153 return os.path.join('Misc', 'NEWS') in file_paths
162 misc_files = {os.path.join('Misc', 'ACKS'), os.path.join('Misc', 'NEWS')}\
172 # Misc/ACKS changed.
174 # Misc/NEWS changed.
