Merge branch 'bp/fsmonitor'

diff --git a/config.h b/config.h
index a49d26441622508fd3c6560ac9784e84541c10dc..524d411823e1949dd180ada236a6f4edee8ef7eb 100644 (file)
--- a/config.h
+++ b/config.h
@@ -212,6 +212,7 @@ extern int git_config_get_pathname(const char *key, const char **dest);
 extern int git_config_get_untracked_cache(void);
 extern int git_config_get_split_index(void);
 extern int git_config_get_max_percent_split_change(void);
+extern int git_config_get_fsmonitor(void);
 
 /* This dies if the configured or default date is in the future */
 extern int git_config_get_expiry(const char *key, const char **output);