Changeset 2872


Ignore:
Timestamp:
Mar 14, 2013, 7:26:59 PM (4 years ago)
Author:
tassi
Message:

Fix list of distributed files so that the debian package can be built

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051-2.0/distributed_files

    r2650 r2872  
    17251725./src/accweb.ml
    17261726./src/options.ml
     1727./src/annotStackSize.ml
    17271728./src/ASM
    17281729./src/ASM/ASMInterpret.mli
     
    17991800./src/utilities/myMap.mli
    18001801./src/utilities/error.mli
     1802./src/utilities/eformat.ml
     1803./src/utilities/eformat.mli
    18011804./src/driver.ml
    18021805./src/RTL
     
    19381941./src/RTLabs/RTLabsToRTL.ml
    19391942./configure-oclosure.sh
    1940 ./myocamlbuild_config.ml
    19411943./admin
    19421944./admin/_build
Note: See TracChangeset for help on using the changeset viewer.