diff options
| author | vlakoff <vlakoff@gmail.com> | 2013-08-19 04:46:26 +0200 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2013-08-19 04:46:26 +0200 |
| commit | 2f7810a36b488a1b3d3dfd3ba8eb6bfbbe91f9ff (patch) | |
| tree | 2c517e6da95d34a8bcd0e4b16758a855cb07af4e /user_guide_src/Makefile | |
| parent | 8d70c0af8f395cfa6354e4e586b156f65954fca3 (diff) | |
Ensure get_config() optional argument is an array, remove useless test
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions