In virtualDub this is Video > Frame Rate. However, the default is no change and you would have had to enter a value here to change it.
edit: unless you used one of the divx profiles, in which case its marked 'video frame rate' in the second screen of the profile wizard. |