Lines Matching full:misc
140 @status("Misc/ACKS updated", modal=True)
142 """Check if Misc/ACKS has been changed."""
143 return os.path.join('Misc', 'ACKS') in file_paths
146 @status("Misc/NEWS updated", modal=True)
148 """Check if Misc/NEWS has been changed."""
149 return os.path.join('Misc', 'NEWS') in file_paths
173 misc_files = {os.path.join('Misc', 'ACKS'), os.path.join('Misc', 'NEWS')}\
183 # Misc/ACKS changed.
185 # Misc/NEWS changed.
