source: preprover @ 8200a9c

Name Size Rev Age Author Last Change
../ 2.4 KB ab52de1   9 years Mike Ryan bump to version 0.2.0 2.0 KB 55c272b   10 years Mike Ryan remove libabac_init and libabac_deinit 2.5 KB 6159c8d   11 years Mike Ryan add options to preprover client/server, install into bin
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.