Skip to content
Permalink
Browse files

Moved update.camlp5.ml to update.ml

  • Loading branch information...
sagotch committed Jul 9, 2019
1 parent cde19ad commit 471e0a3c29c2a318caa47e901153705aef19c10f
Showing with 0 additions and 2 deletions.
  1. +0 −1 .gitignore
  2. +0 −1 Makefile
  3. 0 lib/{update.camlp5.ml → update.ml}
@@ -24,7 +24,6 @@ lib/api_saisie_piqi.ml
lib/api_saisie_piqi_ext.ml
lib/gwlib.ml
lib/templ.ml
lib/update.ml

# generated by Makefile
hd/etc/version.txt
@@ -32,7 +32,6 @@ EXE = \
CAMLP5_PA_EXTEND_FILES = \
bin/distrib/ged2gwb/ged2gwb \
lib/templ \
lib/update \
bin/distrib/setup/setup

CAMLP5_Q_MLAST_FILES = \
File renamed without changes.

0 comments on commit 471e0a3

Please sign in to comment.
You can’t perform that action at this time.