diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-02-18 06:37:56 +0100 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-02-18 06:37:56 +0100 |
| commit | 4d894f48a93a550eaf74b7aaa852970dd11ee059 (patch) | |
| tree | 5b307899c66657a7f1fffe7e38343ab6992049af /misc | |
| parent | f27eeb640938c7d1ff4cadef231c37dc10208be8 (diff) | |
| download | mdk-4d894f48a93a550eaf74b7aaa852970dd11ee059.tar.gz mdk-4d894f48a93a550eaf74b7aaa852970dd11ee059.tar.bz2 | |
Convenience target to generate manual
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions