Riccardo Schirone 81555efde2 flags: use name instead of realname as the key field of a flag item
flags: remove r_flag_set_name API because not consistent
       the right way to change the name of a flag item is by using
       r_flag_rename. the old api has been then marked as static and
       refactored.
2016-02-22 18:21:25 +01:00
..
2016-02-22 18:21:25 +01:00
2016-02-21 02:32:28 +01:00
2015-09-14 02:08:31 +02:00
2016-01-07 00:13:54 +01:00
2016-02-21 02:32:28 +01:00
2015-11-10 12:18:27 +01:00
2016-02-16 02:08:09 +01:00
2016-02-03 12:09:58 +01:00
2016-02-12 11:37:48 -06:00
2016-02-21 03:45:41 +01:00
2012-10-03 14:31:35 +02:00
2014-10-26 02:47:08 +02:00
2014-03-18 01:36:54 +01:00
2014-03-09 17:48:12 +01:00