diff options
Diffstat (limited to 'general.inc')
-rwxr-xr-x | general.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/general.inc b/general.inc index 474a7b1..01d8bb2 100755 --- a/general.inc +++ b/general.inc @@ -239,8 +239,8 @@ function list_examples() case 'S': $file_type = 'Main or Source'; break; - case 'R': - $file_type = 'Result'; + case 'D': + $file_type = 'Dataset'; break; case 'X': $file_type = 'xcos'; |