diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-18 08:46:00 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-19 07:41:22 +0200 |
| commit | 97e4b2481e04af05be5f8a0243e59b0825a537ac (patch) | |
| tree | a9bd181e3aea7e98b7ad29e10645844bda4223aa /pygnulib/.gitignore | |
| parent | 7ded27a6c89101fce7f00203b3439f8d40f281b4 (diff) | |
| download | gnulib-97e4b2481e04af05be5f8a0243e59b0825a537ac.tar.gz | |
maintainer-makefile: catch uses of $< in non-implicit rules
* top/maint.mk (sc_prohibit_magic_number_exit): New.
Diffstat (limited to 'pygnulib/.gitignore')
0 files changed, 0 insertions, 0 deletions