Alessandro Ghedini f2a00f3de3 player: write file name to the watch later config file ... This simply writes the file name as a comment to the top of the watch later config file. It can be useful to the user for determining whether a watch later config file can be manually removed (e.g. in case the corresponding media file has been deleted) or not.		2014-06-01 19:55:45 +02:00
..
m_config.c	cache: redo options and default settings	2014-05-20 02:40:22 +02:00
m_config.h	options: unify code for setting string and "raw" options	2014-05-18 19:21:39 +02:00
m_option.c	m_option: use isfinite() instead of isnormal()	2014-06-01 17:23:56 +02:00
m_option.h
m_property.c	command: remove extended information from --list-properties	2014-04-11 01:27:57 +02:00
m_property.h	command: add helper function to split property paths	2014-03-30 13:41:03 +02:00
options.c	player: write file name to the watch later config file	2014-06-01 19:55:45 +02:00
options.h	player: write file name to the watch later config file	2014-06-01 19:55:45 +02:00
parse_commandline.c	options: fix "-" (stdin) input	2014-05-06 01:06:07 +02:00
parse_commandline.h
parse_configfile.c	options: let unknown option case be handled by final option parser	2014-05-05 23:55:47 +02:00
parse_configfile.h	encode: don't apply default config options	2014-04-19 22:05:17 +02:00
path.c
path.h