Grammalecte: Check-in [cc74e8c3a7]

Overview

Comment:	[build] useless path
Downloads:	Tarball \| ZIP archive \| SQL archive
Timelines:	family \| ancestors \| descendants \| both \| trunk \| build
Files:	files \| file ages \| folders
SHA3-256:	cc74e8c3a7b417daaf68b12297fab213ae6dfebfe16622fdde8e0d944c7cf14a
User & Date:	olr on 2018-10-12 08:45:07
Other Links:	manifest \| tags

Context

2018-10-17
16:35		[njs] merge nodejs: build package for NodeJS check-in: 3e32004d0a user: olr tags: trunk, njs
2018-10-12
08:45		[build] useless path check-in: cc74e8c3a7 user: olr tags: trunk, build
08:43		[build] option -uc (--use_cache) to avoid rebuilding rules check-in: 495352b032 user: olr tags: trunk, build

Changes

Unified Diffs Side-by-Side Diffs Patch

Modified make.py from [d55bc7d114] to [7a5afc5f1b]. [diff]