diff options
| author | David Härdeman <david@hardeman.nu> | 2020-06-23 16:25:36 +0200 |
|---|---|---|
| committer | David Härdeman <david@hardeman.nu> | 2020-06-23 16:25:36 +0200 |
| commit | 8c27290245b7bcc7cd2f72f3b4a7562294b43bbe (patch) | |
| tree | 54bae7909a94bfc598df7b88d9794742daf0bb31 /server-config.h | |
| parent | 973ae757342b91e3e6aafd07e0c0a24af84aad98 (diff) | |
Split directories better
Diffstat (limited to 'server-config.h')
| -rw-r--r-- | server-config.h | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/server-config.h b/server-config.h deleted file mode 100644 index 590dae0..0000000 --- a/server-config.h +++ /dev/null @@ -1,10 +0,0 @@ -#ifndef fooserverconfighfoo -#define fooserverconfighfoo - -void server_cfg_monitor_delete(); - -void server_cfg_monitor_refdump(); - -void server_cfg_monitor_init(); - -#endif |