.gitignore README Rakefile init.rb install.rb lib/acl_system2_ownership.rb tasks/acl_system2_ownership_tasks.rake test/acl_system2_ownership_test.rb test/test_helper.rb uninstall.rb Michal Ochman ocherek@gmail.com http://github.com/ocher/acl2_ownership/commit/e176d258771b134d5eb9c74f4f320110a538ba24 e176d258771b134d5eb9c74f4f320110a538ba24 2008-06-21T07:33:23-07:00 2008-06-21T07:33:23-07:00 initial import b51049e74c5a171bfc5662b5f344d95f1bb29c55 Michal Ochman ocherek@gmail.com