diff options
| author |  Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-07 16:25:58 +0100 |
|---|---|---|
| committer | Matej Kosik <m4tej.kosik@gmail.com> | 2015-12-07 19:22:10 +0100 |
| commit | 19ea51a4b7f7debbe5bdeb2b2689cddadd9876f4 (patch) | |
| tree | ca2443aca25b3d9e4e354b5fd488792b0fbd7084 /dev/db | |
| parent | df3a49a18c5b01984000df9244ecea9c275b30cd (diff) | |
Fixing a minor problem in Makefile.build that was prevening "dev/printers.cma" to be loadable within "ocamldebug".
Diffstat (limited to 'dev/db')
| -rw-r--r-- | dev/db | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -1,5 +1,3 @@ -load_printer "gramlib.cma" -load_printer "str.cma" load_printer "printers.cma" install_printer Top_printers.ppfuture |