Changes between Version 1 and Version 2 of Ticket #190, comment 7


Ignore:
Timestamp:
May 17, 2011, 10:30:58 AM (13 years ago)
Author:
Dmitry A. Kuminov
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #190, comment 7

    v1 v2  
    1 What do you mean by "delete all makefiles"? They are deleted locally by `make distclean`.
     1What do you mean by "delete all makefiles"? They are deleted locally by `make confclean`.