def getAsciiFileExtension(self):
"""
The file extension used for ASCII (non-compiled) proxy source files
for the proxies managed by this library.
"""
return proxy.getAsciiFileExtension(self.getProxyType())
def getAsciiFileExtension(self):
"""
The file extension used for ASCII (non-compiled) proxy source files
for the proxies managed by this library.
"""
return proxy.getAsciiFileExtension(self.getProxyType())