Viewing all changes in revision 10132.
- Committer: Hugo Herbelin
- Date: 2016-03-02 09:19:40 UTC
- Revision ID: git-v1:f1c00bf6706add5019ce31c3a013f667549633cb
Ensuring that sed does not use a specific locale for characters >= 128,
so that it does not fail on files containing latin1 characters,
e.g. g_omega.ml4.
so that it does not fail on files containing latin1 characters,
e.g. g_omega.ml4.
- files modified:
- Makefile.build
expand all
collapse all
added
removed
