diff options
| author | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-07-10 03:16:11 -0400 |
|---|---|---|
| committer | Quentin Carbonneaux <quentin.carbonneaux@yale.edu> | 2015-09-15 23:01:27 -0400 |
| commit | 037c716b6514cc717b7208457fb72085e4c278ab (patch) | |
| tree | 59ccc8ea645418074c114fa47b4f9bdb9e17b861 | |
| parent | c7ab830c2205c5a51c88d9d9eddff2dc3bacc22d (diff) | |
| download | roux-037c716b6514cc717b7208457fb72085e4c278ab.tar.gz | |
move ml prototype in a subdir
| -rw-r--r-- | proto/.gitignore (renamed from .gitignore) | 0 | ||||
| -rw-r--r-- | proto/Makefile (renamed from Makefile) | 0 | ||||
| -rw-r--r-- | proto/TODO (renamed from TODO) | 0 | ||||
| -rw-r--r-- | proto/bak.ml (renamed from bak.ml) | 0 | ||||
| -rw-r--r-- | proto/elf.ml (renamed from elf.ml) | 0 | ||||
| -rw-r--r-- | proto/heap.ml (renamed from heap.ml) | 0 | ||||
| -rw-r--r-- | proto/lo.ml (renamed from lo.ml) | 0 | ||||
| -rw-r--r-- | proto/lo2.ml (renamed from lo2.ml) | 0 | ||||
| -rw-r--r-- | proto/tmain.c (renamed from tmain.c) | 0 |
9 files changed, 0 insertions, 0 deletions
diff --git a/.gitignore b/proto/.gitignore index ff9fbe2..ff9fbe2 100644 --- a/.gitignore +++ b/proto/.gitignore diff --git a/Makefile b/proto/Makefile index c6ebd16..c6ebd16 100644 --- a/Makefile +++ b/proto/Makefile diff --git a/TODO b/proto/TODO index e144c66..e144c66 100644 --- a/TODO +++ b/proto/TODO diff --git a/bak.ml b/proto/bak.ml index cd1aff2..cd1aff2 100644 --- a/bak.ml +++ b/proto/bak.ml diff --git a/elf.ml b/proto/elf.ml index d83f4fd..d83f4fd 100644 --- a/elf.ml +++ b/proto/elf.ml diff --git a/heap.ml b/proto/heap.ml index 79081b9..79081b9 100644 --- a/heap.ml +++ b/proto/heap.ml diff --git a/lo.ml b/proto/lo.ml index be2323d..be2323d 100644 --- a/lo.ml +++ b/proto/lo.ml diff --git a/lo2.ml b/proto/lo2.ml index 64bf3ae..64bf3ae 100644 --- a/lo2.ml +++ b/proto/lo2.ml diff --git a/tmain.c b/proto/tmain.c index 79e1c24..79e1c24 100644 --- a/tmain.c +++ b/proto/tmain.c |