Ignore:
Timestamp:
Feb 23, 2013, 1:03:15 AM (7 years ago)
Author:
sacerdot
Message:

utilities/deqsets.ma => utilities/deqsets_extra.ma for extraction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/TranslateUtils.ma

    r2708 r2716  
    22include "joint/blocks.ma".
    33include "utilities/hide.ma".
    4 include "utilities/deqsets.ma".
     4include "utilities/deqsets_extras.ma".
    55
    66(*include alias "basics/lists/list.ma".
Note: See TracChangeset for help on using the changeset viewer.