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


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

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #190, comment 7

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