non port: games/nethack33/pkg-plist |
Number of commits found: 9 |
Monday, 22 Jan 2024
|
12:26 Muhammad Moinur Rahman (bofh)
games/nethack33: Sanitize MANPREFIX
Approved by: portmgr (blanket)
239abc2 |
Sunday, 22 Sep 2019
|
09:26 glewis
Preserve scores during updates
* Treat record and logfile as "samples" so that they will be kept when
updating if they have anything in them.
|
Saturday, 9 Jan 2016
|
18:17 glewis
. Fix the permissions of the playground.
|
Sunday, 27 Dec 2015
|
20:38 glewis
. Sort.
|
Monday, 6 Oct 2014
|
22:54 antoine
Fix packaging
|
Sunday, 29 Jun 2014
|
06:36 glewis
. Support staging.
|
Sunday, 22 Jan 2006
|
02:11 edwin
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry
Approved by: krion@
PR: ports/88711 (related)
|
Tuesday, 20 Apr 2004
|
14:24 glewis
. Sync with the nethack32 port:
. By default, install things in a location that won't conflict with the
other nethack ports.
. Build and install the recover utility so that users can recover their
game if it crashes (bump PORTREVISION for this).
. Sync with the nethack34 port:
. Use PKGNAMESUFFIX to select the graphics type.
. Remove the COMMENT in the slave ports.
. Take maintainership of nethack33 and nethack33-nox11.
. Unbreak the nethack33-qt port.
|
Friday, 14 Jun 2002
|
04:14 knu
Make nethack33 ports a master port and the slaves, and unbreak
nethack33-gnome.
PR: ports/38220
Submitted by: KATO Tsuguru <tkato@prontomail.com>
No response from: MAINTAINERs
|
Number of commits found: 9 |