Removing Time @ HH:mm from updated info string

I can’t seem to find any option in plugin UI to only show the date part not the full string “date @ time”. I am using [shorcode] option to display the updated info on pages/posts. In my case showing the hour and minute is too much information for a viewer and is not useful anyway for pages/posts that are rarely updated (eg. once a year). If including such option in plugin UI is to much work or is not possible to implement, I can update the plugin code myself, but I wanted to post here first.

I am afraid however not to break the plugin, and there is also the automatic plugin update…

I changed Shortcode.php:
134 $default_format = get_option( 'date_format' ) . ' @ ' . get_option( 'time_format' );
to
134 $default_format = get_option( 'date_format' );