##// END OF EJS Templates
Fix problem with windows installer script: html docs were not found.
Fix problem with windows installer script: html docs were not found.

File last commit:

r1331:9992bddd
r1589:ebf55786
Show More
platutils_dummy.py
24 lines | 807 B | text/x-python | PythonLexer
# -*- coding: utf-8 -*-
""" Platform specific utility functions, dummy version
This has empty implementation of the platutils functions, used for
unsupported operating systems.
"""
#*****************************************************************************
# Copyright (C) 2001-2006 Fernando Perez <fperez@colorado.edu>
#
# Distributed under the terms of the BSD License. The full license is in
# the file COPYING, distributed as part of this software.
#*****************************************************************************
from IPython import Release
__author__ = '%s <%s>' % Release.authors['Ville']
__license__ = Release.license
# This variable is part of the expected API of the module:
ignore_termtitle = True
def set_term_title(*args,**kw):
"""Dummy no-op."""
pass