mirror of
https://github.com/tio/tio.git
synced 2026-05-01 23:07:58 +02:00
Rename sub-config to profile
Because better naming.
This commit is contained in:
parent
1b77ed783b
commit
232cbee697
9 changed files with 43 additions and 41 deletions
|
|
@ -25,4 +25,4 @@
|
|||
void config_file_print(void);
|
||||
void config_file_parse(void);
|
||||
void config_exit(void);
|
||||
void config_file_show_sub_configurations(void);
|
||||
void config_file_show_profiles(void);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue