]> git.lyx.org Git - features.git/commit
* header_check.sh: more tweaks
authorPavel Sanda <sanda@lyx.org>
Wed, 15 May 2013 07:02:16 +0000 (00:02 -0700)
committerPavel Sanda <sanda@lyx.org>
Wed, 15 May 2013 07:02:16 +0000 (00:02 -0700)
commit5ea35e2d62dc91ec767f13c435ee2172ed3dd6d2
treec327d67d87b8560f40ab64375c828aa9635a19cc
parentb1d8bdf6706fabb3e42bd465712c0d3ac08ad953
* header_check.sh: more tweaks
development/tools/header_check.sh