summary refs log tree commit diff
path: root/proto/lo.ml
diff options
context:
space:
mode:
authorQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-10-04 22:53:47 -0400
committerQuentin Carbonneaux <quentin.carbonneaux@yale.edu>2015-10-04 22:53:47 -0400
commit5b583f0f1b6aad9706536af5866a5673e90c74da (patch)
treefbf9cfa5f9dcf978e3cd778c7d2ec0da18a56f57 /proto/lo.ml
parent4eb54dc750a3269e737910ffda9b7f385cb41223 (diff)
downloadroux-5b583f0f1b6aad9706536af5866a5673e90c74da.tar.gz
add gitignore to minic/
Diffstat (limited to 'proto/lo.ml')
0 files changed, 0 insertions, 0 deletions