IPP Software Navigation Tools IPP Links Communication Pan-STARRS Links

Ignore:
Timestamp:
Jun 19, 2007, 4:09:42 PM (19 years ago)
Author:
Paul Price
Message:

Had an old command-line option for difftool.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/ippTasks/diff.pro

    r12697 r13892  
    7777    if ($DB:n == 0)
    7878      option DEFAULT
    79       command difftool -todiffed -limit 20
     79      command difftool -todiffskyfile -limit 20
    8080    else
    8181      # save the DB name for the exit tasks
Note: See TracChangeset for help on using the changeset viewer.