Changeset 94dadbd


Ignore:
Timestamp:
Jul 17, 2013 10:43:58 AM (6 years ago)
Author:
Mei <mei@…>
Branches:
abac0-leak, abac0-mei, master
Children:
7c9944c
Parents:
84038c8
Message:

1) a new working branch for rt0

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Makefile.am

    r1afd681 r94dadbd  
    11#
    22# libabac
    3 #
     3# (0.1.5)
    44bin_PROGRAMS = libabac/abac_prover libabac/abac_prover_plus \
    55               creddy/creddy
Note: See TracChangeset for help on using the changeset viewer.