diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mingw32.c')
| -rw-r--r-- | Build/source/texk/kpathsea/mingw32.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/Build/source/texk/kpathsea/mingw32.c b/Build/source/texk/kpathsea/mingw32.c index da08a469437..430c97caf62 100644 --- a/Build/source/texk/kpathsea/mingw32.c +++ b/Build/source/texk/kpathsea/mingw32.c @@ -74,12 +74,6 @@ init_user_info (void) } } -/* This function could go away */ -void -set_home_warning (void) -{ -} - /* Returns the home directory, in external format */ static char * get_home_directory (void) |